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 mtx_init
00805080 T mtx_enter
008050a0 T mtx_leave
008050b0 t print_map
00805120 t insert_after_region.clone.1
008051d0 t protect_region.clone.0
008056e0 T copy_e820_map
008058d0 T replace_e820_map
008058f0 T e820_protect_region
00805930 T e820_check_region
00805ee0 T e820_reserve_ram
00806250 T print_e820_map
00806270 T get_highest_sized_ram
008063a0 T get_ram_ranges
00806910 T strtoul
00806b10 t memlog_write
00806ba0 T printk_init
00806cc0 T printk
00806e10 t pci_cfgenable
00806ea0 T pcireg_cfgread
00806f30 T pcireg_cfgwrite
00806fe0 t sha1_step
00807510 T sha1_init
00807550 T sha1_pad
00807760 T sha1_loop
008077f0 T sha1_result
008078a0 T sha1_buffer
00807940 t get_option_val
008079b0 t cmdline_parse
00807b60 T tboot_parse_cmdline
00807b80 T linux_parse_cmdline
00807ba0 T get_tboot_loglvl
00807be0 T get_tboot_log_targets
00807cd0 T get_tboot_serial
00808040 T get_tboot_vga_delay
00808080 T get_tboot_no_usb
008080c0 T get_linux_vga
008081a0 T get_linux_mem
00808280 T skip_filename
008082e0 T g_cmdline
008084e0 t measure_memory_integrity
00808910 t extend_pcrs
00808a80 t verify_sealed_data
00808bd0 t seal_data.clone.0
00808cf0 T seal_pre_k_state
00808f40 T verify_integrity
00809260 T seal_post_k_state
008093f0 T comc_init
00809540 T comc_puts
008095e0 T strcmp
00809620 T memcmp
00809660 t check_sealed_data
008096a0 t tpm_validate_locality
008096f0 t _tpm_submit_cmd
00809cb0 t hmac.clone.2
00809db0 t tpm_osap.clone.3
00809f20 t _tpm_wrap_unseal
0080a830 t tpm_get_capability.clone.0
0080a9b0 t tpm_get_flags
0080aa90 T tpm_pcr_read
0080ab70 T tpm_pcr_extend
0080ac80 T tpm_pcr_reset
0080ad30 T tpm_nv_read_value
0080aed0 T tpm_nv_write_value
0080b000 T tpm_get_version
0080b100 T tpm_seal
0080be10 T tpm_unseal
0080beb0 T tpm_cmp_creation_pcrs
0080c140 T tpm_get_nvindex_size
0080c2e0 T release_locality
0080c350 T prepare_tpm
0080c370 T is_tpm_ready
0080c610 T tpm_save_state
0080c6f0 T tpm_get_random
0080c8c0 t dump_gas
0080c9a0 t write_to_reg
0080cab0 t read_from_reg
0080cbd0 t find_rsdp_in_range
0080cc80 t find_table
0080cdd0 T save_vtd_dmar_table
0080ce00 T restore_vtd_dmar_table
0080ce90 T remove_vtd_dmar_table
0080cef0 T get_acpi_ioapic_table
0080cf70 T get_acpi_mcfg_table
0080cf80 T machine_sleep
0080d080 T set_s3_resume_vector
0080d0e0 T disable_smis
0080d140 T memcpy
0080d320 T get_tboot_mem_end
0080d330 T cpu_wakeup
0080d360 T s3_launch
0080d4a0 T begin_launch
0080dbe0 T shutdown
0080df60 T handle_exception
0080df90 T print_tb_error_msg
0080e0c0 T read_tb_error_code
0080e150 T write_tb_error_code
0080e1c0 T was_last_boot_error
0080e210 t poly_step_func
0080e480 t l3hash
0080e830 T vhash_abort
0080e870 T vhash_update
0080ed50 T xvhash
0080f110 T vhash
0080fb80 T vmac
0080fca0 T vmac_set_key
0080ff00 t get_pde
0080ff70 T map_pages_to_tboot
00810000 t map_tboot_pages
008100a0 T destroy_tboot_mapping
00810120 T enable_paging
008101f0 T disable_paging
00810210 T strncmp
00810260 T are_hashes_equal
008102d0 T hash_buffer
00810340 T extend_hash
00810420 T print_hash
00810480 T copy_hash
008104e0 T verify_mbi
00810540 T is_kernel_linux
00810580 T get_module
008105c0 t find_module
008106c0 t remove_module
00810780 T remove_txt_modules
00810840 T launch_kernel
00810a50 T find_module_by_uuid
00810a80 T find_module_by_file_signature
00810ae0 T verify_modules
00810bc0 T strncpy
00810c10 T vga_init
00810c70 T vga_puts
00810e00 T rijndaelKeySetupEnc
00811150 T rijndaelKeySetupDec
00811380 T rijndaelEncrypt
00811860 T rijndael_set_key_enc_only
008118a0 T rijndael_set_key
00811930 T rijndael_decrypt
00811e20 T rijndael_encrypt
00811e50 T is_elf_image
00811f50 T expand_elf_image
00812020 T jump_elf_image
00812040 t write_string_to_buffer
00812180 t int2str.clone.0
00812430 T vscnprintf
00812900 T snprintf
00812930 T expand_linux_image
00812ff0 T jump_linux_image
00813040 T index
00813080 T strlen
008130a0 t verify_module
008132e0 t read_policy_from_tpm.clone.0
00813400 t display_signature.clone.2
00813490 t calc_policy_data_hash
008135c0 T set_policy
00814ae0 T hash_policy
00814ba0 T apply_policy
00814ca0 T verify_all_modules
00814f40 T print_hex
00814fc0 T delay
00815140 T verify_bios_data
00815340 T print_os_sinit_data
008154b0 T verify_txt_heap
00815bb0 T txt_get_error
00815cf0 t get_acmod_info_table
00815db0 t get_acmod_chipset_list
00815ec0 T print_txt_caps
00815f40 T get_supported_os_sinit_data_ver
00815f60 T get_sinit_capabilities
00815fa0 T is_sinit_acmod
00816200 T does_acmod_match_chipset
00816340 T copy_sinit
008164b0 T verify_acmod
00816b60 t print_mseg_hdr
00816c20 T supports_txt
00816dd0 T set_vtd_pmrs
00816f00 T txt_verify_platform
00816f70 T txt_post_launch_verify_platform
00817450 T verify_e820_map
00817670 T verify_stm
008178b0 t stop_vmx
00817930 t init_vmx_ctrl
00817970 T vmx_vmexit_handler
00817b10 T handle_init_sipi_sipi
008181b0 T force_aps_exit
008181c0 t get_region_type
008183d0 t print_mtrrs
00818490 T save_mtrrs
00818540 T validate_mtrrs
00818a10 T restore_mtrrs
00818a90 T set_mem_type
00818be0 T set_mtrrs_for_acmod
00818c90 T set_all_mtrrs
00818cc0 T find_lcp_module
00818df0 T txt_is_launched
00818e00 T txt_launch_environment
00819590 T txt_s3_launch_environment
00819610 T txt_post_launch
00819950 T txt_cpu_wakeup
00819a30 T txt_protect_mem_regions
00819c10 T txt_shutdown
00819d30 T txt_is_powercycle_required
00819d40 T get_parameters
00819ed0 T txt_prepare_cpu
0081a120 t g_mle_hdr
0081a154 A _etext
0081a1fc r g_linux_cmdline_options
0081a220 r g_tboot_cmdline_options
0081a250 r srk_authdata
0081a264 r blob_authdata
0081a278 r localities.1510
0081a280 r types.2069
0081a2d8 R p64
0081a2e0 R m62
0081a2e8 R m63
0081a2f0 R m64
0081a2f8 R mpoly
0081a300 r Td0
0081a700 r Td1
0081ab00 r Td2
0081af00 r Td3
0081b300 r Td4
0081b700 r Te0
0081bb00 r Te1
0081bf00 r Te2
0081c300 r Te3
0081c700 r Te4
0081cb00 r rcon
0081ccc0 r gdt_table.1310
0081cd01 r _def_policy
0081cd20 r g_policy_map
0081ceb8 r sig_alg_str.1567
0081cec0 r elt_type_str.1557
0081cee0 R _ctype
0081cfe4 r mem_types.1427
00822000 A _mle_end
00822000 D s3_flag
00822004 D g_log_level
00822005 D g_log_targets
00822008 D g_log
0082200c d last_line_cr.1019
00822020 D g_pre_k_s3_state
00822484 D g_post_k_s3_state
00822494 d post_launch_pcr17
008224a8 d post_launch_pcr18
008224bc d sealed_post_k_state_size
008224c0 d sealed_post_k_state
008226c0 d sealed_pre_k_state_size
008226e0 d sealed_pre_k_state
008228e0 D g_com_port
0082290c d g_timeout
0082291c D g_no_usb
0082291d d g_hide_dmar
00822920 D g_mbi
00822940 d g_saved_s3_wakeup_page
00823940 d cursor_y
00823941 d cursor_x
00823944 d num_lines
00823960 d g_policy
00823980 d buf.1165
008239c0 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
00836000 b ap_stacks
00836000 B idle_pg_table
00837000 B host_vmcs
00838000 B ap_vmcs
00878000 B pdptr_table
00879000 B pd_table
0087d000 b _real_mode_entry_point
0087d008 b g_nr_map
0087d00c b print_lock
0087d010 B pcicfg_mtx
0087d020 B g_psbdf_enabled
0087d021 B g_pbbdf_enabled
0087d040 b g_linux_param_values
0087d100 b g_tboot_param_values
0087d280 b cmd_buf
0087d580 b rsp_buf
0087d880 b first_attempt.1718
0087d884 b rsdp
0087d888 b g_dmar_table
0087d88c b no_err_idx
0087d890 b cr0
0087d894 b cr4
0087d898 B g_vga_delay
0087d89c b boot_params
0087d8a0 b gdt_desc.1314
0087d8c0 b buf.1952
0087d900 b _policy_index_buf
0087dd60 b buf.1078
0087dd80 b buf.1161
0087dda0 b buf.1157
0087ddc0 b g_ticks_per_millisec
0087ddc8 b g_calibrated
0087ddd0 b ilp_smm_mon_ctl.2074
0087ddd8 b g_cpuid_ext_feat_info
0087dddc b g_feat_ctrl_msr
0087dde0 B ap_lock
0087dde4 B aps_exit_guest
0087dde8 b vmcs_rev_id
0087ddec b init_done.1443
0087ddf0 b pin_based_vm_exec_ctrls
0087ddf4 b proc_based_vm_exec_ctrls
0087ddf8 b vm_exit_ctrls
0087ddfc b vm_entry_ctrls
0087de00 B ap_wfs_count
0087de04 A _end
