00803000 A _mle_start
00803000 T _start
00803000 A _stext
00803000 T start
00803020 T _post_launch_entry
0080306f t layout_err
008030a0 T __start
008030f0 T vmx_asm_vmexit_handler
00803100 T _mini_guest
00803110 t compat_mode_entry
0080312a t shutdown_entry32
008031b0 T shutdown_entry
008031e2 t compatibility_mode_far
008031f0 T _txt_wakeup
00803250 T _prot_to_real
008032a7 t int_handler
008032b0 t gdt_descr
00804000 T gdt_table
00804008 t cs_descr
00804010 t ds_descr
00804018 t tss_descr
00804020 t cs16_desc
00804028 t ds16_desc
00804040 T gdt_table_end
00804040 t idt_descr
00804048 t idt_table
00804848 t idt_table_end
00804848 t real_idt_desc
00805000 T s3_wakeup_16
00805020 t real_gdt_desc
00805028 t real_gdt_table
00805030 t real_cs_desc
00805038 t real_ds_desc
00805048 t real_gdt_table_end
00805050 t s3_wakeup_32
00805050 T s3_wakeup_end
00805070 t dump_gas
00805150 t write_to_reg
00805260 t read_from_reg
00805380 t find_rsdp_in_range
00805430 t find_table
00805560 T save_vtd_dmar_table
00805590 T restore_vtd_dmar_table
00805620 T remove_vtd_dmar_table
00805680 T get_acpi_ioapic_table
00805700 T get_acpi_mcfg_table
00805710 T machine_sleep
008057f0 T set_s3_resume_vector
00805840 t get_option_val
008058b0 t cmdline_parse
00805a60 T tboot_parse_cmdline
00805a80 T linux_parse_cmdline
00805aa0 T get_loglvl_prefix
00805b20 T get_tboot_loglvl
00805be0 T get_tboot_log_targets
00805cc0 T get_tboot_serial
00805f80 T get_tboot_vga_delay
00805fc0 T get_linux_vga
008060a0 T get_linux_mem
00806180 T skip_filename
008061e0 T g_cmdline
008063e0 T comc_init
00806530 T comc_puts
008065e0 t print_map
00806650 t insert_after_region.constprop.6
00806700 t protect_region.part.3.constprop.4
00806bc0 T copy_e820_map
00806de0 T replace_e820_map
00806e00 T e820_protect_region
00806ea0 T e820_check_region
008073d0 T e820_reserve_ram
00807760 T print_e820_map
00807770 T get_ram_ranges
00807ad0 T get_highest_sized_ram
00807c00 T is_elf_image
00807d00 T expand_elf_image
00807dd0 T jump_elf_image
00807df0 T are_hashes_equal
00807e60 T hash_buffer
00807ed0 T extend_hash
00807fb0 T print_hash
00808010 T copy_hash
00808070 T index
008080b0 t measure_memory_integrity
008084e0 t extend_pcrs
00808650 t verify_sealed_data
008087a0 t seal_data.constprop.0
008088c0 T seal_pre_k_state
00808b10 T verify_integrity
00808e30 T seal_post_k_state
00808fa0 T expand_linux_image
00809680 T jump_linux_image
008096d0 T verify_mbi
00809730 T is_kernel_linux
00809770 T get_module
008097b0 t find_module
008098b0 t remove_module
00809970 T remove_txt_modules
00809a30 T launch_kernel
00809c40 T find_module_by_uuid
00809c70 T find_module_by_file_signature
00809cd0 T verify_modules
00809db0 T memcmp
00809e20 T memcpy
00809fb0 T print_hex
0080a030 T delay
0080a1b0 T mtx_init
0080a1c0 T mtx_enter
0080a1e0 T mtx_leave
0080a1f0 t get_pde
0080a260 T map_pages_to_tboot
0080a2f0 t map_tboot_pages
0080a390 T destroy_tboot_mapping
0080a410 T enable_paging
0080a4e0 T disable_paging
0080a500 t pci_cfgenable
0080a5a0 T pcireg_cfgread
0080a620 T pcireg_cfgwrite
0080a6d0 t verify_module
0080a910 t read_policy_from_tpm.constprop.1
0080aa30 T set_policy
0080b840 T hash_policy
0080b900 T apply_policy
0080b9f0 T verify_all_modules
0080bc90 t memlog_write
0080bd20 T printk_init
0080be30 T printk
0080bfd0 T rijndaelKeySetupEnc
0080c390 T rijndaelKeySetupDec
0080c5c0 T rijndaelEncrypt
0080ca90 T rijndael_set_key_enc_only
0080cad0 T rijndael_set_key
0080cb50 T rijndael_decrypt
0080d040 T rijndael_encrypt
0080d070 t sha1_step
0080d5c0 T sha1_init
0080d600 T sha1_pad
0080d810 T sha1_loop
0080d8a0 T sha1_result
0080d950 T sha1_buffer
0080d9e0 T strcmp
0080da20 T strlen
0080da40 T strncmp
0080da90 T strncpy
0080dae0 T strtoul
0080dcf0 T print_tb_error_msg
0080de20 T read_tb_error_code
0080deb0 T write_tb_error_code
0080df20 T was_last_boot_error
0080df70 T get_tboot_mem_end
0080df80 T cpu_wakeup
0080dfb0 T s3_launch
0080e0f0 T begin_launch
0080e820 T shutdown
0080eb90 T handle_exception
0080ebb0 t tpm_validate_locality
0080ec00 t _tpm_submit_cmd
0080f200 t hmac.constprop.4
0080f300 t tpm_osap.constprop.6
0080f460 t _tpm_wrap_unseal
0080fd90 t tpm_get_capability.constprop.5
0080ff10 t tpm_get_flags
0080fff0 T tpm_pcr_read
008100d0 T tpm_pcr_extend
008101f0 T tpm_pcr_reset
008102a0 T tpm_nv_read_value
00810430 T tpm_nv_write_value
00810550 T tpm_get_version
00810650 T tpm_seal
00811370 T tpm_unseal
00811430 T tpm_cmp_creation_pcrs
008116f0 T tpm_get_nvindex_size
00811880 T release_locality
008118f0 T prepare_tpm
00811910 T is_tpm_ready
00811ba0 T tpm_save_state
00811c70 T tpm_get_random
00811e50 T vga_init
00811eb0 T vga_puts
00812080 t l3hash
008123c0 t poly_step_func.isra.0
008125b0 T vhash_abort
00812600 T vhash_update
00812a20 T xvhash
00812e00 T vhash
008136c0 T vmac
008137e0 T vmac_set_key
008139f0 t write_string_to_buffer
00813b40 t int2str.constprop.1
00813dd0 T vscnprintf
00814200 T snprintf
00814230 t get_acmod_info_table
008142f0 t get_acmod_chipset_list
00814400 t get_acmod_processor_list
00814510 T print_txt_caps
00814590 T get_supported_os_sinit_data_ver
008145b0 T get_sinit_capabilities
008145f0 T is_sinit_acmod
00814860 T does_acmod_match_platform
00814b80 T get_bios_sinit
00814c00 T copy_sinit
00814d70 T verify_acmod
00815560 T txt_get_error
008156f0 T verify_bios_data
00815cc0 T print_os_sinit_data
00815e30 T verify_txt_heap
00816530 t print_mtrrs
00816600 t get_maxphyaddr_mask.part.0
00816670 t get_page_type
008167a0 t get_region_type
00816820 T save_mtrrs
008168d0 T validate_mtrrs
00816fc0 T restore_mtrrs
00817040 T set_mem_type
008171a0 T set_mtrrs_for_acmod
00817250 T set_all_mtrrs
00817280 T find_lcp_module
008173b0 T txt_is_launched
008173c0 T txt_launch_environment
00817a80 T txt_s3_launch_environment
00817b00 T txt_post_launch
00817e40 T txt_cpu_wakeup
00817f20 T txt_protect_mem_regions
00818100 T txt_shutdown
00818220 T txt_is_powercycle_required
00818230 T get_parameters
008183c0 T txt_prepare_cpu
00818600 t g_mle_hdr
00818640 t print_mseg_hdr
00818700 T supports_txt
008188c0 T set_vtd_pmrs
008189c0 T txt_verify_platform
00818a30 T txt_post_launch_verify_platform
00818eb0 T verify_e820_map
008190e0 T verify_stm
00819310 t init_vmx_ctrl
00819350 t stop_vmx
008193d0 T vmx_vmexit_handler
00819570 T handle_init_sipi_sipi
00819c10 T force_aps_exit
00819c1b A _etext
00819c1b t parse_pci_bdf
00819d40 r g_tboot_cmdline_options
00819d68 r g_linux_cmdline_options
00819d80 r g_loglvl_map
00819db0 r gdt_table.1309
00819de0 R _ctype
00819f21 r _def_policy
00819f40 r g_policy_map
0081a0e0 r Te4
0081a4e0 r rcon
0081a520 r Td0
0081a920 r Td1
0081ad20 r Td2
0081b120 r Td3
0081b520 r Te0
0081b920 r Te1
0081bd20 r Te2
0081c120 r Te3
0081c520 r Td4
0081c960 r types.2072
0081c974 r localities.1512
0081c979 r srk_authdata
0081c98d r blob_authdata
0081c9a8 R mpoly
0081c9b0 R m64
0081c9b8 R m63
0081c9c0 R m62
0081c9c8 R p64
0081cb64 r mem_types.1505
00825000 A _mle_end
00825000 D s3_flag
00825004 d g_hide_dmar
00825020 D g_com_port
00825060 D g_post_k_s3_state
00825080 D g_pre_k_s3_state
008254e4 d post_launch_pcr17
008254f8 d post_launch_pcr18
0082550c d sealed_pre_k_state_size
00825520 d sealed_pre_k_state
00825720 d sealed_post_k_state_size
00825740 d sealed_post_k_state
00825940 d g_policy
00825944 D g_log
00825948 D g_log_targets
00825949 D g_log_level
0082594a d last_line_cr.1020
00825960 D g_mbi
00825980 d g_saved_s3_wakeup_page
00826980 d g_timeout
00826990 d cursor_x
00826991 d cursor_y
00826994 d num_lines
00826998 d g_saved_mtrrs
00827000 D _tboot_shared
00828000 A __bss_start
00828000 b bsp_stack_end
00829000 b ap_stacks_end
00829000 b bsp_stack
00839000 b ap_stacks
00839000 B idle_pg_table
0083a000 B host_vmcs
0083b000 B ap_vmcs
0087b000 B pd_table
0087f000 B pdptr_table
00880000 b _real_mode_entry_point
00880008 b g_dmar_table
0088000c b rsdp
00880020 B g_pbbdf_enabled
00880021 B g_psbdf_enabled
00880040 b g_tboot_param_values
00880180 b g_linux_param_values
00880240 b g_nr_map
00880244 b boot_params
00880248 b gdt_desc.1313
00880250 b g_ticks_per_millisec
00880258 b g_calibrated
0088025c b cr0
00880260 b cr4
00880264 B pcicfg_mtx
00880280 b _policy_index_buf
008806e0 b buf.1163
00880700 b buf.1080
00880720 b buf.1167
00880760 b buf.1159
00880780 b buf.2106
008807a4 b print_lock
008807a8 b no_err_idx
008807c0 b cmd_buf
00880ac0 b rsp_buf
00880dc0 b first_attempt.1720
00880dc4 B g_vga_delay
00880dc8 b printed_host_info.1588
00880dcc b printed_msg.1634
00880dd0 B ap_wfs_count
00880dd8 b g_cpuid_ext_feat_info
00880ddc b g_feat_ctrl_msr
00880de0 b ilp_smm_mon_ctl.2099
00880de8 B aps_exit_guest
00880dec B ap_lock
00880df0 b vmcs_rev_id
00880df4 b init_done.1445
00880df8 b pin_based_vm_exec_ctrls
00880dfc b proc_based_vm_exec_ctrls
00880e00 b vm_exit_ctrls
00880e04 b vm_entry_ctrls
00880e08 A _end
