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_call_racm_check
00806c30 T get_tboot_call_racm
00806c70 T get_tboot_mwait
00806cb0 T get_tboot_min_ram
00806cf0 T get_tboot_prefer_da
00806d30 T get_tboot_vga_delay
00806d70 T get_tboot_serial
00807010 T get_tboot_log_targets
00807100 T get_tboot_loglvl
008071c0 t cmdline_parse
00807370 T linux_parse_cmdline
00807390 T tboot_parse_cmdline
008073c0 T g_cmdline
008075c0 T comc_puts
00807660 T comc_init
008077b0 T replace_e820_map
008077d0 T get_highest_sized_ram
00807900 T print_e820_map
00807980 T e820_check_region
00807f30 t insert_after_region.clone.1
00807fe0 t protect_region.clone.0
00808500 T copy_e820_map
00808750 T e820_protect_region
00808790 T e820_reserve_ram
00808ad0 T get_ram_ranges
00808f40 T jump_elf_image
00808f60 T is_elf_image
00809060 T expand_elf_image
00809130 T copy_hash
00809190 T print_hash
008091f0 T hash_buffer
00809260 T extend_hash
00809340 T are_hashes_equal
008093b0 T index
008093e0 t measure_memory_integrity
00809810 t seal_data
00809930 T seal_post_k_state
00809aa0 t verify_sealed_data
00809bf0 t extend_pcrs
00809d90 T verify_integrity
0080a0a0 T seal_pre_k_state
0080a300 T jump_linux_image
0080a350 T expand_linux_image
0080aa50 T get_module
0080aa90 T verify_mbi
0080aaf0 T verify_modules
0080abd0 T get_mbi_mem_end
0080ad00 t find_module
0080ae30 T find_module_by_file_signature
0080ae90 T find_module_by_uuid
0080aec0 T is_kernel_linux
0080af00 t remove_module
0080afc0 T remove_txt_modules
0080b0b0 T launch_kernel
0080b5d0 T memcmp
0080b630 T memcpy
0080b810 T delay
0080b990 T print_hex
0080ba10 T mtx_init
0080ba20 T mtx_enter
0080ba40 T mtx_leave
0080ba50 T map_pages_to_tboot
0080bb50 T destroy_tboot_mapping
0080bbd0 T disable_paging
0080bbf0 t map_tboot_pages
0080bc90 T enable_paging
0080bd60 T pcireg_cfgwrite
0080be60 T pcireg_cfgread
0080bf50 T hash_policy
0080c010 T apply_policy
0080c100 t verify_module
0080c3f0 T verify_all_modules
0080c740 t read_policy_from_tpm.clone.2
0080c860 t verify_policy.clone.1
0080cc90 T set_policy
0080d020 t memlog_write
0080d0c0 T printk
0080d260 T printk_init
0080d370 T rijndaelKeySetupEnc
0080d6c0 T rijndaelKeySetupDec
0080d8f0 T rijndaelEncrypt
0080ddd0 T rijndael_set_key_enc_only
0080de10 T rijndael_set_key
0080de90 T rijndael_decrypt
0080e390 T rijndael_encrypt
0080e3c0 T sha1_init
0080e400 t sha1_step
0080e8d0 T sha1_pad
0080eb00 T sha1_result
0080ebb0 T sha1_loop
0080ec40 T sha1_buffer
0080ecd0 T strcmp
0080ed10 T strlen
0080ed30 T strncmp
0080ed80 T strncpy
0080edd0 T strtoul
0080efa0 T write_tb_error_code
0080f010 T print_tb_error_msg
0080f140 T read_tb_error_code
0080f1d0 T was_last_boot_error
0080f220 T get_tboot_mem_end
0080f230 t shutdown_system
0080f360 T cpu_wakeup
0080f390 T check_racm_result
0080f3b0 T s3_launch
0080f520 T startup_rlps
0080f570 T launch_racm
0080f620 T shutdown
0080f940 T handle_exception
0080f970 T begin_launch
00810140 t tpm_validate_locality
00810190 T release_locality
00810200 T prepare_tpm
00810220 T tpm_cmp_creation_pcrs
008104e0 t _tpm_submit_cmd
00810ab0 T tpm_get_version
00810bc0 T tpm_get_random
00810d80 T tpm_nv_write_value
00810e90 T tpm_nv_read_value
00810fe0 T tpm_pcr_reset
00811090 T tpm_pcr_extend
00811180 T tpm_pcr_read
00811250 T tpm_save_state
00811330 t tpm_get_capability.clone.0
00811490 T tpm_get_nvindex_size
00811600 t tpm_get_flags
008116e0 T is_tpm_ready
008119e0 t hmac.clone.2
00811ae0 t tpm_osap.clone.3
00811c20 T tpm_seal
008128a0 t _tpm_wrap_unseal
00813160 T tpm_unseal
00813220 T vga_init
00813280 T vga_puts
00813410 t poly_step_func
00813670 T vhash_abort
008136b0 t l3hash
00813a10 T vhash_update
00813f60 T xvhash
008143b0 T vhash
00814f90 T vmac_set_key
00815200 T vmac
00815330 t write_string_to_buffer
00815470 t int2str.clone.0
00815720 T vscnprintf
00815b60 T snprintf
00815b90 t get_acmod_info_table
00815c60 T get_sinit_capabilities
00815ca0 T get_supported_os_sinit_data_ver
00815cc0 t get_acmod_chipset_list
00815dc0 t get_acmod_processor_list
00815ec0 T print_txt_caps
00815f70 t print_acm_hdr
00816500 T verify_acmod
00816710 T verify_racm
00816880 t is_acmod
00816ae0 T is_sinit_acmod
00816b30 T is_racm_acmod
00816bc0 T copy_racm
00816c40 T does_acmod_match_platform
00816f40 T get_bios_sinit
00816fc0 T copy_sinit
00817150 T txt_get_racm_error
00817380 T txt_get_error
00817610 t verify_ext_data_elts
008178b0 T print_event
00817940 t print_ext_data_elts
00817c00 T print_os_sinit_data
00817d80 T verify_bios_data
00818010 T verify_txt_heap
00818760 T restore_mtrrs
00818800 T set_all_mtrrs
00818830 T set_mem_type
008189e0 T set_mtrrs_for_acmod
00818a90 t print_mtrrs
00818b60 T save_mtrrs
00818c00 t get_maxphyaddr_mask
00818ca0 t get_page_type
00818da0 t get_region_type
00818e30 T validate_mtrrs
008194c0 T txt_is_launched
008194d0 T txt_is_powercycle_required
008194e0 T get_parameters
00819680 T txt_prepare_cpu
008198b0 T txt_shutdown
008199e0 T txt_protect_mem_regions
00819bb0 T ap_wait
00819ca0 t init_event_log
00819d10 T txt_s3_launch_environment
00819da0 T evtlog_append
00819e30 T find_lcp_module
00819f60 T txt_post_launch
0081a2c0 T txt_launch_environment
0081ab50 T txt_launch_racm
0081acf0 T txt_cpu_wakeup
0081adc0 t g_mle_hdr
0081ae00 t print_mseg_hdr
0081aec0 T verify_stm
0081b120 T set_vtd_pmrs
0081b250 T verify_e820_map
0081b470 T txt_post_launch_verify_platform
0081b8b0 T use_mwait
0081b8d0 T supports_txt
0081bab0 T txt_verify_platform
0081bb20 T force_aps_exit
0081bb30 t stop_vmx
0081bbb0 t init_vmx_ctrl
0081bc00 T handle_init_sipi_sipi
0081c2a0 T vmx_vmexit_handler
0081c42c A _etext
0081c4dc r g_linux_cmdline_options
0081c500 r g_tboot_cmdline_options
0081c560 r g_loglvl_map
0081c590 r gdt_table.1552
0081c5c0 R _ctype
0081c701 r _def_policy
0081c720 r g_policy_map
0081c8b8 r _def_policy_da
0081c8e0 r Td0
0081cce0 r Td1
0081d0e0 r Td2
0081d4e0 r Td3
0081d8e0 r Td4
0081dce0 r Te0
0081e0e0 r Te1
0081e4e0 r Te2
0081e8e0 r Te3
0081ece0 r Te4
0081f0e0 r rcon
0081f148 r types.3217
0081f15c r srk_authdata
0081f170 r blob_authdata
0081f184 r localities.2155
0081f190 R p64
0081f198 R m62
0081f1a0 R m63
0081f1a8 R m64
0081f1b0 R mpoly
0081f37c r mem_types.1937
00826000 A _mle_end
00826000 D s3_flag
00826004 d g_hide_dmar
00826020 D g_com_port
00826060 d sealed_pre_k_state
00826260 d sealed_pre_k_state_size
00826280 d sealed_post_k_state
00826480 d sealed_post_k_state_size
00826484 d post_launch_pcr17
00826498 d post_launch_pcr18
008264c0 D g_pre_k_s3_state
00826924 D g_post_k_s3_state
00826940 d g_policy
00826960 d buf.1331
008269a0 D g_log_level
008269a1 D g_log_targets
008269a4 D g_log
008269a8 d last_line_cr.1130
008269c0 D g_mbi
008269e0 d g_saved_s3_wakeup_page
008279e0 d g_timeout
008279f0 d cursor_x
008279f1 d cursor_y
008279f4 d num_lines
008279f8 d g_saved_mtrrs
008279fc D g_using_da
00827a00 d g_elog
00828000 D _tboot_shared
00829000 A __bss_start
00829000 b bsp_stack_end
0082a000 b ap_stacks_end
0082a000 b bsp_stack
0086a000 b ap_stacks
0086a000 B idle_pg_table
0086b000 B host_vmcs
0086c000 B ap_vmcs
0096c000 B pdptr_table
0096d000 B pd_table
00971000 b _real_mode_entry_point
00971008 b rsdp
0097100c b g_dmar_table
00971020 B g_psbdf_enabled
00971021 B g_pbbdf_enabled
00971040 b g_tboot_param_values
00971280 b g_linux_param_values
00971340 B g_min_ram
00971344 b g_nr_map
00971348 b gdt_desc.1556
00971350 b boot_params
00971358 b g_calibrated
00971360 b g_ticks_per_millisec
00971368 b cr0
0097136c b cr4
00971370 B pcicfg_mtx
00971380 b buf.2808
009713c0 b buf.1319
009713e0 b buf.1221
00971400 b buf.1309
00971420 b _policy_index_buf
0097186c b print_lock
00971870 b no_err_idx
00971880 b first_attempt.2691
009718a0 b cmd_buf
00971ba0 b rsp_buf
00971ea0 B g_vga_delay
00971ea4 b printed_host_info.2120
00971ea8 b printed_msg.1747
00971eac B ap_wfs_count
00971eb0 b ilp_smm_mon_ctl.2634
00971eb8 b g_cpuid_ext_feat_info
00971ebc b g_feat_ctrl_msr
00971ec0 B ap_lock
00971ec4 B aps_exit_guest
00971ec8 b init_done.1587
00971ecc b vmcs_rev_id
00971ed0 b pin_based_vm_exec_ctrls
00971ed4 b proc_based_vm_exec_ctrls
00971ed8 b vm_exit_ctrls
00971edc b vm_entry_ctrls
00971ee0 A _end
