00801000 t g_mle_pt
00804000 T _mle_start
00804000 T _start
00804000 T _stext
00804000 T start
00804010 T _post_launch_entry
0080405f t layout_err
00804090 T __start
008040e0 T vmx_asm_vmexit_handler
008040f0 T _mini_guest
00804100 t compat_mode_entry
0080411a t shutdown_entry32
008041a0 T shutdown_entry
008041d2 t compatibility_mode_far
008041e0 T _txt_wakeup
00804240 T _prot_to_real
00804297 t int_handler
008042a0 t gdt_descr
00805000 T gdt_table
00805008 t cs_descr
00805010 t ds_descr
00805018 t tss_descr
00805020 t cs16_desc
00805028 t ds16_desc
00805040 T gdt_table_end
00805040 t idt_descr
00805048 t idt_table
00805848 t idt_table_end
00805848 t real_idt_desc
00806000 T s3_wakeup_16
00806020 t real_gdt_desc
00806028 t real_gdt_table
00806030 t real_cs_desc
00806038 t real_ds_desc
00806048 t real_gdt_table_end
00806050 t s3_wakeup_32
00806050 T s3_wakeup_end
00806070 T set_s3_resume_vector
008060d0 t dump_gas
008061b0 t write_to_reg
008062c0 t read_from_reg
008063e0 T machine_sleep
008064c0 t find_rsdp_in_range
00806560 t find_table
008066b0 T get_acpi_mcfg_table
008066c0 T get_acpi_ioapic_table
00806740 T remove_vtd_dmar_table
008067a0 T save_vtd_dmar_table
008067d0 T restore_vtd_dmar_table
00806860 T get_loglvl_prefix
008068d0 T skip_filename
00806930 t parse_pci_bdf
008069c0 t get_option_val
00806a30 T get_linux_mem
00806b10 T get_linux_vga
00806bf0 T get_tboot_mwait
00806c30 T get_tboot_prefer_da
00806c70 T get_tboot_vga_delay
00806cb0 T get_tboot_serial
00806f50 T get_tboot_log_targets
00807040 T get_tboot_loglvl
00807100 t cmdline_parse
008072b0 T linux_parse_cmdline
008072d0 T tboot_parse_cmdline
00807300 T g_cmdline
00807500 T comc_puts
008075a0 T comc_init
008076f0 T replace_e820_map
00807710 T get_highest_sized_ram
00807840 T print_e820_map
008078c0 T e820_check_region
00807e70 t insert_after_region.clone.1
00807f20 t protect_region.clone.0
00808440 T copy_e820_map
00808690 T e820_protect_region
008086d0 T e820_reserve_ram
00808a10 T get_ram_ranges
00808dd0 T jump_elf_image
00808df0 T is_elf_image
00808ef0 T expand_elf_image
00808fc0 T copy_hash
00809020 T print_hash
00809080 T hash_buffer
008090f0 T extend_hash
008091d0 T are_hashes_equal
00809240 T index
00809270 t measure_memory_integrity
008096a0 t seal_data
008097c0 T seal_post_k_state
00809930 t verify_sealed_data
00809a80 t extend_pcrs
00809c20 T verify_integrity
00809f30 T seal_pre_k_state
0080a190 T jump_linux_image
0080a1e0 T expand_linux_image
0080a8e0 T get_module
0080a920 T verify_mbi
0080a980 T verify_modules
0080aa60 T get_mbi_mem_end
0080ab90 t find_module
0080acc0 T find_module_by_file_signature
0080ad20 T find_module_by_uuid
0080ad50 T is_kernel_linux
0080ad90 t remove_module
0080ae50 T remove_txt_modules
0080af40 T launch_kernel
0080b460 T memcmp
0080b4c0 T memcpy
0080b6a0 T delay
0080b820 T print_hex
0080b8a0 T mtx_init
0080b8b0 T mtx_enter
0080b8d0 T mtx_leave
0080b8e0 T map_pages_to_tboot
0080b9e0 T destroy_tboot_mapping
0080ba60 T disable_paging
0080ba80 t map_tboot_pages
0080bb20 T enable_paging
0080bbf0 T pcireg_cfgwrite
0080bcf0 T pcireg_cfgread
0080bde0 T hash_policy
0080bea0 T apply_policy
0080bf90 t verify_module
0080c200 T verify_all_modules
0080c550 t read_policy_from_tpm.clone.2
0080c670 t verify_policy.clone.1
0080caa0 T set_policy
0080ce30 t memlog_write
0080ced0 T printk
0080d070 T printk_init
0080d180 T rijndaelKeySetupEnc
0080d4d0 T rijndaelKeySetupDec
0080d700 T rijndaelEncrypt
0080dbe0 T rijndael_set_key_enc_only
0080dc20 T rijndael_set_key
0080dca0 T rijndael_decrypt
0080e1a0 T rijndael_encrypt
0080e1d0 T sha1_init
0080e210 t sha1_step
0080e6e0 T sha1_pad
0080e910 T sha1_result
0080e9c0 T sha1_loop
0080ea50 T sha1_buffer
0080eae0 T strcmp
0080eb20 T strlen
0080eb40 T strncmp
0080eb90 T strncpy
0080ebe0 T strtoul
0080edb0 T write_tb_error_code
0080ee20 T print_tb_error_msg
0080ef50 T read_tb_error_code
0080efe0 T was_last_boot_error
0080f030 T get_tboot_mem_end
0080f040 T cpu_wakeup
0080f070 T s3_launch
0080f1f0 T shutdown
0080f5d0 T handle_exception
0080f600 T begin_launch
0080fd90 t tpm_validate_locality
0080fde0 T release_locality
0080fe50 T prepare_tpm
0080fe70 T tpm_cmp_creation_pcrs
00810130 t _tpm_submit_cmd
00810700 T tpm_get_version
00810810 T tpm_get_random
008109d0 T tpm_nv_write_value
00810ae0 T tpm_nv_read_value
00810c30 T tpm_pcr_reset
00810ce0 T tpm_pcr_extend
00810dd0 T tpm_pcr_read
00810ea0 T tpm_save_state
00810f80 t tpm_get_capability.clone.0
008110e0 T tpm_get_nvindex_size
00811250 t tpm_get_flags
00811330 T is_tpm_ready
00811630 t hmac.clone.2
00811730 t tpm_osap.clone.3
00811870 T tpm_seal
008124f0 t _tpm_wrap_unseal
00812db0 T tpm_unseal
00812e70 T vga_init
00812ed0 T vga_puts
00813060 t poly_step_func
008132c0 T vhash_abort
00813300 t l3hash
00813660 T vhash_update
00813bb0 T xvhash
00814000 T vhash
00814be0 T vmac_set_key
00814e50 T vmac
00814f80 t write_string_to_buffer
008150c0 t int2str.clone.0
00815370 T vscnprintf
008157b0 T snprintf
008157e0 t get_acmod_info_table
008158b0 T get_sinit_capabilities
008158f0 T get_supported_os_sinit_data_ver
00815910 t get_acmod_chipset_list
00815a10 t get_acmod_processor_list
00815b10 T print_txt_caps
00815bc0 T is_sinit_acmod
00815e40 T verify_acmod
008165f0 T does_acmod_match_platform
008168f0 T get_bios_sinit
00816970 T copy_sinit
00816b00 T txt_get_error
00816c90 t verify_ext_data_elts
00816f30 T print_event
00816fc0 t print_ext_data_elts
00817280 T print_os_sinit_data
00817400 T verify_bios_data
00817690 T verify_txt_heap
00817de0 T restore_mtrrs
00817e80 T set_all_mtrrs
00817eb0 T set_mem_type
00818060 T set_mtrrs_for_acmod
00818110 t print_mtrrs
008181e0 T save_mtrrs
00818280 t get_maxphyaddr_mask
00818320 t get_page_type
00818420 t get_region_type
008184b0 T validate_mtrrs
00818b40 T txt_is_launched
00818b50 T txt_is_powercycle_required
00818b60 T get_parameters
00818d00 T txt_shutdown
00818e20 T txt_prepare_cpu
00819050 T txt_protect_mem_regions
00819220 T ap_wait
00819310 T txt_s3_launch_environment
00819390 T evtlog_append
00819420 T find_lcp_module
00819550 T txt_post_launch
008198b0 T txt_launch_environment
0081a1c0 T txt_cpu_wakeup
0081a280 t g_mle_hdr
0081a2c0 t print_mseg_hdr
0081a380 T verify_stm
0081a5e0 T set_vtd_pmrs
0081a710 T verify_e820_map
0081a930 T txt_post_launch_verify_platform
0081ad70 T use_mwait
0081ad90 T supports_txt
0081af70 T txt_verify_platform
0081afe0 T force_aps_exit
0081aff0 t stop_vmx
0081b070 t init_vmx_ctrl
0081b0c0 T handle_init_sipi_sipi
0081b760 T vmx_vmexit_handler
0081b8ec A _etext
0081b99c r g_linux_cmdline_options
0081b9c0 r g_tboot_cmdline_options
0081ba00 r g_loglvl_map
0081ba30 r gdt_table.1546
0081ba60 R _ctype
0081bba1 r _def_policy
0081bbc0 r g_policy_map
0081bd58 r _def_policy_da
0081bd80 r Td0
0081c180 r Td1
0081c580 r Td2
0081c980 r Td3
0081cd80 r Td4
0081d180 r Te0
0081d580 r Te1
0081d980 r Te2
0081dd80 r Te3
0081e180 r Te4
0081e580 r rcon
0081e5e8 r types.3147
0081e5fc r srk_authdata
0081e610 r blob_authdata
0081e624 r localities.2155
0081e630 R p64
0081e638 R m62
0081e640 R m63
0081e648 R m64
0081e650 R mpoly
0081e81c r mem_types.1929
00824000 A _mle_end
00824000 D s3_flag
00824004 d g_hide_dmar
00824020 D g_com_port
00824060 d sealed_pre_k_state
00824260 d sealed_pre_k_state_size
00824280 d sealed_post_k_state
00824480 d sealed_post_k_state_size
00824484 d post_launch_pcr17
00824498 d post_launch_pcr18
008244c0 D g_pre_k_s3_state
00824924 D g_post_k_s3_state
00824940 d g_policy
00824960 d buf.1331
008249a0 D g_log_level
008249a1 D g_log_targets
008249a4 D g_log
008249a8 d last_line_cr.1124
008249c0 D g_mbi
008249e0 d g_saved_s3_wakeup_page
008259e0 d g_timeout
008259f0 d cursor_x
008259f1 d cursor_y
008259f4 d num_lines
008259f8 d g_saved_mtrrs
008259fc D g_using_da
00825a00 d g_elog
00826000 D _tboot_shared
00827000 A __bss_start
00827000 b bsp_stack_end
00828000 b ap_stacks_end
00828000 b bsp_stack
00868000 b ap_stacks
00868000 B idle_pg_table
00869000 B host_vmcs
0086a000 B ap_vmcs
0096a000 B pdptr_table
0096b000 B pd_table
0096f000 b _real_mode_entry_point
0096f008 b rsdp
0096f00c b g_dmar_table
0096f020 B g_psbdf_enabled
0096f021 B g_pbbdf_enabled
0096f040 b g_tboot_param_values
0096f200 b g_linux_param_values
0096f2c0 b g_nr_map
0096f2c4 b gdt_desc.1550
0096f2cc b boot_params
0096f2d0 b g_calibrated
0096f2d8 b g_ticks_per_millisec
0096f2e0 b cr0
0096f2e4 b cr4
0096f2e8 B pcicfg_mtx
0096f300 b buf.2782
0096f340 b buf.1319
0096f360 b buf.1221
0096f380 b buf.1309
0096f3a0 b _policy_index_buf
0096f7ec b print_lock
0096f7f0 b no_err_idx
0096f7f4 b ap_in_shutdown.3188
0096f800 b first_attempt.2691
0096f820 b cmd_buf
0096fb20 b rsp_buf
0096fe20 B g_vga_delay
0096fe24 b printed_host_info.2085
0096fe28 b printed_msg.1739
0096fe2c B ap_wfs_count
0096fe30 b ilp_smm_mon_ctl.2611
0096fe38 b g_cpuid_ext_feat_info
0096fe3c b g_feat_ctrl_msr
0096fe40 B ap_lock
0096fe44 B aps_exit_guest
0096fe48 b init_done.1583
0096fe4c b vmcs_rev_id
0096fe50 b pin_based_vm_exec_ctrls
0096fe54 b proc_based_vm_exec_ctrls
0096fe58 b vm_exit_ctrls
0096fe5c b vm_entry_ctrls
0096fe60 A _end
