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 set_s3_resume_vector
008050d0 t dump_gas
008051b0 t write_to_reg
008052b0 t read_from_reg
008053c0 T machine_sleep
008054a0 t find_rsdp_in_range
00805540 t find_table
00805690 T get_acpi_mcfg_table
008056a0 T get_acpi_ioapic_table
00805720 T remove_vtd_dmar_table
00805780 T save_vtd_dmar_table
008057b0 T restore_vtd_dmar_table
00805840 T get_loglvl_prefix
008058b0 T skip_filename
00805910 t parse_pci_bdf
008059a0 t get_option_val
00805a10 T get_linux_mem
00805af0 T get_linux_vga
00805bd0 T get_tboot_vga_delay
00805c10 T get_tboot_serial
00805eb0 T get_tboot_log_targets
00805fa0 T get_tboot_loglvl
00806060 t cmdline_parse
00806210 T linux_parse_cmdline
00806230 T tboot_parse_cmdline
00806260 T g_cmdline
00806460 T comc_puts
00806500 T comc_init
00806650 T replace_e820_map
00806670 T get_highest_sized_ram
008067a0 T print_e820_map
00806820 T e820_check_region
00806dd0 t insert_after_region.clone.1
00806e80 t protect_region.clone.0
008073a0 T copy_e820_map
008075f0 T e820_protect_region
00807630 T e820_reserve_ram
00807970 T get_ram_ranges
00807d30 T jump_elf_image
00807d50 T is_elf_image
00807e50 T expand_elf_image
00807f20 T copy_hash
00807f80 T print_hash
00807fe0 T hash_buffer
00808050 T extend_hash
00808130 T are_hashes_equal
008081a0 T index
008081d0 t measure_memory_integrity
00808600 t seal_data
00808720 T seal_post_k_state
00808890 t extend_pcrs
00808a00 t verify_sealed_data
00808b50 T verify_integrity
00808e60 T seal_pre_k_state
008090c0 T jump_linux_image
00809110 T expand_linux_image
008097e0 T get_module
00809820 T verify_mbi
00809880 T verify_modules
00809960 t find_module
00809a70 T find_module_by_file_signature
00809ad0 T find_module_by_uuid
00809b00 T is_kernel_linux
00809b40 t remove_module
00809c00 T remove_txt_modules
00809cd0 T launch_kernel
00809ed0 T memcmp
00809f30 T memcpy
0080a110 T delay
0080a290 T print_hex
0080a310 T mtx_init
0080a320 T mtx_enter
0080a340 T mtx_leave
0080a350 T map_pages_to_tboot
0080a450 T destroy_tboot_mapping
0080a4d0 T disable_paging
0080a4f0 t map_tboot_pages
0080a590 T enable_paging
0080a660 T pcireg_cfgwrite
0080a760 T pcireg_cfgread
0080a850 T hash_policy
0080a910 T apply_policy
0080aa00 t verify_module
0080ac60 T verify_all_modules
0080af20 t read_policy_from_tpm.clone.2
0080b040 t verify_policy.clone.1
0080b470 T set_policy
0080b7f0 t memlog_write
0080b890 T printk
0080ba30 T printk_init
0080bb40 T rijndaelKeySetupEnc
0080be90 T rijndaelKeySetupDec
0080c0c0 T rijndaelEncrypt
0080c5a0 T rijndael_set_key_enc_only
0080c5e0 T rijndael_set_key
0080c660 T rijndael_decrypt
0080cb60 T rijndael_encrypt
0080cb90 T sha1_init
0080cbd0 t sha1_step
0080d0a0 T sha1_pad
0080d2d0 T sha1_result
0080d380 T sha1_loop
0080d410 T sha1_buffer
0080d4a0 T strcmp
0080d4e0 T strlen
0080d500 T strncmp
0080d550 T strncpy
0080d5a0 T strtoul
0080d770 T write_tb_error_code
0080d7e0 T print_tb_error_msg
0080d910 T read_tb_error_code
0080d9a0 T was_last_boot_error
0080d9f0 T get_tboot_mem_end
0080da00 T cpu_wakeup
0080da30 T s3_launch
0080db70 T shutdown
0080dee0 T handle_exception
0080df10 T begin_launch
0080e640 t tpm_validate_locality
0080e690 T release_locality
0080e700 T prepare_tpm
0080e720 T tpm_cmp_creation_pcrs
0080e9e0 t _tpm_submit_cmd
0080ef60 T tpm_get_version
0080f070 T tpm_get_random
0080f230 T tpm_nv_write_value
0080f340 T tpm_nv_read_value
0080f490 T tpm_pcr_reset
0080f540 T tpm_pcr_extend
0080f630 T tpm_pcr_read
0080f700 T tpm_save_state
0080f7e0 t tpm_get_capability.clone.0
0080f940 T tpm_get_nvindex_size
0080fab0 t tpm_get_flags
0080fb90 T is_tpm_ready
0080fe90 t hmac.clone.2
0080ff90 t tpm_osap.clone.3
008100d0 T tpm_seal
00810d50 t _tpm_wrap_unseal
00811610 T tpm_unseal
008116d0 T vga_init
00811730 T vga_puts
008118c0 t poly_step_func
00811b20 T vhash_abort
00811b60 t l3hash
00811ec0 T vhash_update
00812410 T xvhash
00812860 T vhash
00813440 T vmac_set_key
008136b0 T vmac
008137e0 t write_string_to_buffer
00813920 t int2str.clone.0
00813bd0 T vscnprintf
00814010 T snprintf
00814040 t get_acmod_info_table
00814100 T get_sinit_capabilities
00814140 T get_supported_os_sinit_data_ver
00814160 t get_acmod_chipset_list
00814260 t get_acmod_processor_list
00814360 T print_txt_caps
008143e0 T is_sinit_acmod
00814660 T verify_acmod
00814e10 T does_acmod_match_platform
00815110 T get_bios_sinit
00815190 T copy_sinit
00815320 T txt_get_error
008154b0 T verify_bios_data
00815a80 T print_os_sinit_data
00815bf0 T verify_txt_heap
008162f0 T restore_mtrrs
00816390 T set_all_mtrrs
008163c0 T set_mem_type
00816570 T set_mtrrs_for_acmod
00816620 t print_mtrrs
008166f0 T save_mtrrs
00816790 t get_maxphyaddr_mask
00816830 t get_page_type
00816930 t get_region_type
008169c0 T validate_mtrrs
00817040 T txt_is_launched
00817050 T txt_is_powercycle_required
00817060 T get_parameters
00817200 T txt_shutdown
00817320 T txt_prepare_cpu
00817550 T txt_protect_mem_regions
00817720 T txt_s3_launch_environment
008177a0 T find_lcp_module
008178d0 T txt_post_launch
00817c10 T txt_launch_environment
008182f0 T txt_cpu_wakeup
008183a0 t g_mle_hdr
008183e0 t print_mseg_hdr
008184a0 T verify_stm
00818700 T set_vtd_pmrs
00818830 T verify_e820_map
00818a50 T txt_post_launch_verify_platform
00818e90 T supports_txt
00819040 T txt_verify_platform
008190b0 T force_aps_exit
008190c0 t stop_vmx
00819140 t init_vmx_ctrl
00819190 T handle_init_sipi_sipi
00819830 T vmx_vmexit_handler
008199bc A _etext
00819a5c r g_linux_cmdline_options
00819a80 r g_tboot_cmdline_options
00819ac0 r g_loglvl_map
00819af0 r gdt_table.1524
00819b20 R _ctype
00819c61 r _def_policy
00819c80 r g_policy_map
00819e20 r Td0
0081a220 r Td1
0081a620 r Td2
0081aa20 r Td3
0081ae20 r Td4
0081b220 r Te0
0081b620 r Te1
0081ba20 r Te2
0081be20 r Te3
0081c220 r Te4
0081c620 r rcon
0081c688 r types.2535
0081c69c r srk_authdata
0081c6b0 r blob_authdata
0081c6c4 r localities.2135
0081c6d0 R p64
0081c6d8 R m62
0081c6e0 R m63
0081c6e8 R m64
0081c6f0 R mpoly
0081c88c r mem_types.1805
00822000 A _mle_end
00822000 D s3_flag
00822004 d g_hide_dmar
00822020 D g_com_port
00822060 d sealed_pre_k_state
00822260 d sealed_pre_k_state_size
00822280 d sealed_post_k_state
00822480 d sealed_post_k_state_size
00822484 d post_launch_pcr17
00822498 d post_launch_pcr18
008224c0 D g_pre_k_s3_state
00822924 D g_post_k_s3_state
00822940 d g_policy
00822960 d buf.1314
008229a0 D g_log_level
008229a1 D g_log_targets
008229a4 D g_log
008229a8 d last_line_cr.1111
008229c0 D g_mbi
008229e0 d g_saved_s3_wakeup_page
008239e0 d g_timeout
008239f0 d cursor_x
008239f1 d cursor_y
008239f4 d num_lines
008239f8 d g_saved_mtrrs
00824000 D _tboot_shared
00825000 A __bss_start
00825000 b bsp_stack_end
00826000 b ap_stacks_end
00826000 b bsp_stack
00866000 b ap_stacks
00866000 B idle_pg_table
00867000 B host_vmcs
00868000 B ap_vmcs
00968000 B pdptr_table
00969000 B pd_table
0096d000 b _real_mode_entry_point
0096d008 b rsdp
0096d00c b g_dmar_table
0096d020 B g_psbdf_enabled
0096d021 B g_pbbdf_enabled
0096d040 b g_tboot_param_values
0096d180 b g_linux_param_values
0096d240 b g_nr_map
0096d244 b gdt_desc.1528
0096d24c b boot_params
0096d250 b g_calibrated
0096d258 b g_ticks_per_millisec
0096d260 b cr0
0096d264 b cr4
0096d268 B pcicfg_mtx
0096d280 b buf.2708
0096d2c0 b buf.1302
0096d2e0 b buf.1204
0096d300 b buf.1292
0096d320 b _policy_index_buf
0096d76c b print_lock
0096d770 b no_err_idx
0096d780 b first_attempt.2671
0096d7a0 b cmd_buf
0096daa0 b rsp_buf
0096dda0 B g_vga_delay
0096dda4 b printed_host_info.1990
0096dda8 b printed_msg.1715
0096ddac B ap_wfs_count
0096ddb0 b ilp_smm_mon_ctl.2500
0096ddb8 b g_cpuid_ext_feat_info
0096ddbc b g_feat_ctrl_msr
0096ddc0 B ap_lock
0096ddc4 B aps_exit_guest
0096ddc8 b init_done.1557
0096ddcc b vmcs_rev_id
0096ddd0 b pin_based_vm_exec_ctrls
0096ddd4 b proc_based_vm_exec_ctrls
0096ddd8 b vm_exit_ctrls
0096dddc b vm_entry_ctrls
0096dde0 A _end
