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 dump_gas
00806150 t write_to_reg
00806240 t read_from_reg
00806340 t find_rsdp_in_range
008063e0 t find_table
00806530 T save_vtd_dmar_table
00806560 T restore_vtd_dmar_table
008065f0 T remove_vtd_dmar_table
00806650 T get_acpi_ioapic_table
008066d0 T get_acpi_mcfg_table
008066e0 T machine_sleep
008067b0 T set_s3_resume_vector
00806800 t cmdline_parse
008069b0 t get_option_val
00806a20 T tboot_parse_cmdline
00806a40 T linux_parse_cmdline
00806a60 T get_loglvl_prefix
00806ac0 T get_tboot_loglvl
00806b80 T get_tboot_log_targets
00806c60 T get_tboot_serial
00806ef0 T get_tboot_vga_delay
00806f30 T get_tboot_prefer_da
00806f70 T get_tboot_min_ram
00806fb0 T get_tboot_mwait
00806ff0 T get_tboot_call_racm
00807030 T get_tboot_call_racm_check
00807070 T get_linux_vga
00807140 T get_linux_mem
00807220 T skip_filename
00807280 T g_cmdline
00807480 T comc_init
008075d0 T comc_puts
00807670 t is_overlapped
00807830 t print_map
008078b0 t insert_after_region.constprop.6
00807970 t protect_region.part.3.constprop.4
00807de0 T copy_e820_map
00807ff0 T replace_e820_map
00808010 T e820_protect_region
00808060 T e820_check_region
00808350 T e820_reserve_ram
00808720 T print_e820_map
00808730 T get_highest_sized_ram
00808870 T get_ram_ranges
00808cb0 T is_elf_image
00808db0 T expand_elf_image
00808e80 T jump_elf_image
00808ea0 T are_hashes_equal
00808f20 T hash_buffer
00808f90 T extend_hash
00809050 T print_hash
008090b0 T copy_hash
00809100 T index
00809130 t extend_pcrs
008092b0 t verify_sealed_data
00809410 t measure_memory_integrity
00809810 t seal_data.constprop.0
00809950 T seal_pre_k_state
00809b90 T verify_integrity
00809e80 T seal_post_k_state
00809fe0 T expand_linux_image
0080a6b0 T jump_linux_image
0080a700 T verify_mbi
0080a760 T is_kernel_linux
0080a7a0 T get_module
0080a7e0 t remove_module
0080a8a0 T remove_txt_modules
0080a990 T get_mbi_mem_end
0080aad0 T launch_kernel
0080afa0 t find_module
0080b0b0 T find_module_by_uuid
0080b0e0 T find_module_by_file_signature
0080b120 T verify_modules
0080b200 T memcmp
0080b250 T memcpy
0080b400 T print_hex
0080b470 T delay
0080b5d0 T mtx_init
0080b5e0 T mtx_enter
0080b600 T mtx_leave
0080b610 t get_pde
0080b680 T map_pages_to_tboot
0080b700 t map_tboot_pages
0080b790 T destroy_tboot_mapping
0080b810 T enable_paging
0080b8e0 T disable_paging
0080b900 t pci_cfgenable.part.0
0080b970 T pcireg_cfgread
0080ba00 T pcireg_cfgwrite
0080bab0 t read_policy_from_tpm.constprop.2
0080bbd0 t verify_module
0080be60 T set_policy
0080cdf0 T hash_policy
0080ced0 T apply_policy
0080cfc0 T verify_all_modules
0080d2e0 t memlog_write
0080d360 T printk_init
0080d480 T printk
0080d5f0 T rijndaelKeySetupEnc
0080d9e0 T rijndaelKeySetupDec
0080dc00 T rijndaelEncrypt
0080e0a0 T rijndael_set_key_enc_only
0080e0e0 T rijndael_set_key
0080e150 T rijndael_decrypt
0080e600 T rijndael_encrypt
0080e630 t sha1_step
0080eb90 T sha1_init
0080ebd0 T sha1_pad
0080ede0 T sha1_loop
0080ee70 T sha1_result
0080ef20 T sha1_buffer
0080efb0 T strcmp
0080eff0 T strlen
0080f010 T strncmp
0080f060 T strncpy
0080f0b0 T strtoul
0080f280 T print_tb_error_msg
0080f3b0 T read_tb_error_code
0080f440 T write_tb_error_code
0080f4b0 T was_last_boot_error
0080f500 t shutdown_system
0080f630 T get_tboot_mem_end
0080f640 T cpu_wakeup
0080f670 T startup_rlps
0080f6b0 T launch_racm
0080f760 T check_racm_result
0080f780 T s3_launch
0080f8f0 T begin_launch
008100c0 T shutdown
008103f0 T handle_exception
00810410 t tpm_validate_locality
00810450 t check_sealed_data.part.0
00810490 t hmac.constprop.7
00810580 t _tpm_submit_cmd
00810bb0 t tpm_osap.part.1
00810c80 t tpm_get_capability.constprop.3
00810de0 t tpm_get_flags
00810ec0 t _tpm_wrap_unseal
00811790 T tpm_pcr_read
00811870 T tpm_pcr_extend
00811a00 T tpm_pcr_reset
00811ab0 T tpm_nv_read_value
00811c30 T tpm_nv_write_value
00811d50 T tpm_get_version
00811e10 T tpm_seal
00812a10 T tpm_unseal
00812ab0 T tpm_cmp_creation_pcrs
00812d30 T tpm_get_nvindex_size
00812ec0 T release_locality
00812f30 T prepare_tpm
00812f50 T is_tpm_ready
00813240 T tpm_save_state
00813310 T tpm_get_random
008134d0 T vga_init
00813520 T vga_puts
008136f0 t l3hash
00813a30 t poly_step_func.isra.0
00813c30 T vhash_abort
00813c70 T vhash_update
00814150 T xvhash
00814520 T vhash
00814f20 T vmac
00815030 T vmac_set_key
00815250 t write_string_to_buffer
00815360 t int2str.constprop.0
008155f0 T vscnprintf
00815a30 T snprintf
00815a60 t get_acmod_info_table
00815b30 t get_acmod_chipset_list
00815c10 t get_acmod_processor_list
00815cf0 t is_acmod
00815f60 T print_txt_caps
00816010 t print_acm_hdr
008165a0 T get_supported_os_sinit_data_ver
008165c0 T get_sinit_capabilities
00816600 T is_racm_acmod
00816680 T is_sinit_acmod
008166c0 T does_acmod_match_platform
008169c0 T get_bios_sinit
00816a30 T copy_racm
00816ab0 T copy_sinit
00816c00 T verify_racm
00816d60 T verify_acmod
00816f70 T txt_get_error
00817190 T txt_get_racm_error
00817370 t verify_ext_data_elts
00817610 T print_event
008176a0 t print_ext_data_elts
00817960 T verify_bios_data
00817c00 T print_os_sinit_data
00817d90 T verify_txt_heap
00818500 t print_mtrrs
008185d0 t get_maxphyaddr_mask
00818670 t get_page_type
00818760 t get_region_type
008187e0 T save_mtrrs
00818880 T validate_mtrrs
00818f10 T restore_mtrrs
00818fa0 T set_mem_type
00819110 T set_mtrrs_for_acmod
008191a0 T set_all_mtrrs
008191e0 t init_event_log
00819250 T find_lcp_module
00819370 T evtlog_append
008193f0 T txt_is_launched
00819400 T txt_launch_environment
00819b20 T txt_s3_launch_environment
00819bb0 T txt_launch_racm
00819d30 T txt_post_launch
0081a090 T ap_wait
0081a170 T txt_cpu_wakeup
0081a240 T txt_protect_mem_regions
0081a410 T txt_shutdown
0081a540 T txt_is_powercycle_required
0081a550 T get_parameters
0081a6d0 T txt_prepare_cpu
0081a920 t g_mle_hdr
0081a960 t print_mseg_hdr
0081aa20 T use_mwait
0081aa40 T supports_txt
0081ac00 T set_vtd_pmrs
0081acf0 T txt_verify_platform
0081ad50 T txt_post_launch_verify_platform
0081b120 T verify_e820_map
0081b350 T verify_stm
0081b550 t init_vmx_ctrl
0081b580 t stop_vmx
0081b610 T vmx_vmexit_handler
0081b7b0 T handle_init_sipi_sipi
0081be50 T force_aps_exit
0081be5b T _etext
0081be5b t parse_pci_bdf
0081bf80 r g_loglvl_map
0081bfb0 r g_linux_cmdline_options
0081bfe0 r g_tboot_cmdline_options
0081c030 r gdt_table.1466
0081c060 R _ctype
0081c1a1 r _def_policy_da
0081c1bd r _def_policy
0081c1e0 r g_policy_map
0081c380 r rcon
0081c3c0 r Td4
0081c7c0 r Td3
0081cbc0 r Td2
0081cfc0 r Td1
0081d3c0 r Td0
0081d7c0 r Te4
0081dbc0 r Te3
0081dfc0 r Te2
0081e3c0 r Te1
0081e7c0 r Te0
0081ec00 r types.2791
0081ec14 r localities.1669
0081ec19 r blob_authdata
0081ec2d r srk_authdata
0081ec48 R mpoly
0081ec50 R m64
0081ec58 R m63
0081ec60 R m62
0081ec68 R p64
0081ee34 r mem_types.1722
00829000 D _mle_end
00829000 D s3_flag
00829004 d g_hide_dmar
00829020 D g_com_port
00829060 d post_launch_pcr18
00829074 d post_launch_pcr17
00829088 d sealed_post_k_state_size
008290a0 d sealed_post_k_state
008292a0 d sealed_pre_k_state_size
008292c0 d sealed_pre_k_state
008294c0 D g_post_k_s3_state
008294e0 D g_pre_k_s3_state
00829944 d g_policy
00829948 d last_line_cr.1173
0082994c D g_log
00829950 D g_log_targets
00829951 D g_log_level
00829960 d g_saved_s3_wakeup_page
0082a960 D g_mbi
0082a964 d g_timeout
0082a974 d num_lines
0082a978 d cursor_y
0082a979 d cursor_x
0082a97c d g_saved_mtrrs
0082a980 D g_using_da
0082a984 d g_elog
0082b000 D _tboot_shared
0082c000 B __bss_start
0082c000 b bsp_stack_end
0082d000 b ap_stacks_end
0082d000 b bsp_stack
0086d000 b ap_stacks
0086d000 B idle_pg_table
0086e000 B host_vmcs
0086f000 B ap_vmcs
0096f000 B pd_table
00973000 B pdptr_table
00974000 b _real_mode_entry_point
00974008 b g_dmar_table
0097400c b rsdp
00974020 B g_pbbdf_enabled
00974021 B g_psbdf_enabled
00974040 b g_linux_param_values
00974100 b g_tboot_param_values
00974340 B g_min_ram
00974344 b g_nr_map
00974348 b gdt_desc.1470
00974350 b boot_params
00974358 b g_ticks_per_millisec
00974360 b g_calibrated
00974364 b cr4
00974368 b cr0
0097436c B pcicfg_mtx
00974380 b buf.2338
009743c0 b buf.1314
009743e0 b buf.1322
00974420 b buf.1235
00974440 b buf.1318
00974460 b _policy_index_buf
009748ac b print_lock
009748b0 b no_err_idx
009748c0 b first_attempt.1877
009748e0 b rsp_buf
00974be0 b cmd_buf
00974ee0 B g_vga_delay
00974ee4 b printed_host_info.1836
00974ee8 b printed_msg.1812
00974eec B ap_wfs_count
00974ef0 b ilp_smm_mon_ctl.2362
00974ef8 b g_feat_ctrl_msr
00974efc b g_cpuid_ext_feat_info
00974f00 B aps_exit_guest
00974f04 B ap_lock
00974f08 b init_done.1610
00974f0c b vm_entry_ctrls
00974f10 b vm_exit_ctrls
00974f14 b proc_based_vm_exec_ctrls
00974f18 b pin_based_vm_exec_ctrls
00974f1c b vmcs_rev_id
00974f20 B _end
