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
008060b0 t dump_gas
00806190 t write_to_reg
008062a0 t read_from_reg
008063d0 T machine_sleep
008064b0 t find_rsdp_in_range
00806560 t find_table
008066c0 T get_acpi_mcfg_table
008066d0 T get_acpi_ioapic_table
00806750 T remove_vtd_dmar_table
008067b0 T save_vtd_dmar_table
008067e0 T restore_vtd_dmar_table
00806880 T get_loglvl_prefix
008068f0 T skip_filename
00806970 t parse_pci_bdf
00806a00 t get_option_val
00806a70 T get_linux_mem
00806b50 T get_linux_vga
00806c30 T get_tboot_mwait
00806c70 T get_tboot_prefer_da
00806cb0 T get_tboot_vga_delay
00806cf0 T get_tboot_serial
00806f90 T get_tboot_log_targets
00807080 T get_tboot_loglvl
00807140 t cmdline_parse
008072e0 T linux_parse_cmdline
00807300 T tboot_parse_cmdline
00807320 T g_cmdline
00807520 T comc_puts
008075b0 T comc_init
00807730 t insert_after_region
008077f0 t protect_region
00807d40 T replace_e820_map
00807d60 T e820_protect_region
00807d70 T get_highest_sized_ram
00807ec0 T print_e820_map
00807f30 T e820_reserve_ram
008082a0 T get_ram_ranges
00808600 T e820_check_region
00808c20 T copy_e820_map
00808e30 T jump_elf_image
00808e50 T is_elf_image
00808f40 T expand_elf_image
00809010 T copy_hash
00809070 T print_hash
008090d0 T hash_buffer
00809140 T extend_hash
00809200 T are_hashes_equal
00809270 T index
008092a0 t measure_memory_integrity
008096d0 t seal_data
008097f0 T seal_post_k_state
00809990 t verify_sealed_data
00809ae0 t extend_pcrs
00809c80 T verify_integrity
00809fb0 T seal_pre_k_state
0080a210 T jump_linux_image
0080a260 T expand_linux_image
0080a900 T get_module
0080a940 T verify_mbi
0080a9b0 T verify_modules
0080aa90 T get_mbi_mem_end
0080abd0 t find_module
0080acf0 T find_module_by_file_signature
0080ad50 T find_module_by_uuid
0080ad80 T is_kernel_linux
0080adc0 t remove_module
0080ae80 T remove_txt_modules
0080af70 T launch_kernel
0080b480 T memcmp
0080b4e0 T memcpy
0080b690 T delay
0080b7e0 T print_hex
0080b860 T mtx_init
0080b870 T mtx_enter
0080b890 T mtx_leave
0080b8a0 T map_pages_to_tboot
0080b9d0 T destroy_tboot_mapping
0080ba60 T disable_paging
0080ba80 t map_tboot_pages
0080bb20 T enable_paging
0080bbf0 T pcireg_cfgwrite
0080bd00 T pcireg_cfgread
0080bdf0 T hash_policy
0080beb0 t verify_module
0080c100 T apply_policy
0080c200 T verify_all_modules
0080c560 t read_policy_from_tpm
0080c670 t verify_policy
0080cc10 T set_policy
0080cfa0 t memlog_write
0080d040 T printk
0080d1e0 T printk_init
0080d2f0 T rijndaelKeySetupEnc
0080d640 T rijndaelKeySetupDec
0080d880 T rijndaelEncrypt
0080dd30 T rijndael_set_key_enc_only
0080dd70 T rijndael_set_key
0080ddf0 T rijndael_decrypt
0080e2a0 T rijndael_encrypt
0080e2d0 T sha1_init
0080e310 t sha1_step
0080e870 T sha1_pad
0080eab0 T sha1_result
0080eb60 T sha1_loop
0080ebf0 T sha1_buffer
0080ec80 T strcmp
0080ecc0 T strlen
0080ece0 T strncmp
0080ed30 T strncpy
0080ed80 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
0080f620 T handle_exception
0080f650 T s3_launch
0080f7d0 T cpu_wakeup
0080f800 T begin_launch
0080ff90 t tpm_validate_locality
0080ffe0 t _tpm_submit_cmd
008105c0 T release_locality
00810630 T prepare_tpm
00810650 T tpm_get_version
00810760 T tpm_get_random
00810910 t tpm_get_capability
00810a70 T tpm_get_nvindex_size
00810bf0 t tpm_get_flags
00810ce0 T is_tpm_ready
00810fe0 t tpm_osap
00811120 T tpm_nv_write_value
00811220 T tpm_nv_read_value
00811380 T tpm_pcr_reset
00811450 T tpm_pcr_extend
00811550 T tpm_pcr_read
00811610 T tpm_save_state
008116f0 T tpm_cmp_creation_pcrs
00811990 t hmac
00811a80 t _tpm_wrap_unseal
00812350 T tpm_unseal
00812410 T tpm_seal
00813010 T vga_init
00813070 T vga_puts
00813220 t poly_step_func
00813460 T vhash_abort
008134a0 t l3hash
00813830 T vhash_update
00813dd0 T xvhash
008141d0 T vhash
00814de0 T vmac_set_key
00815010 T vmac
00815140 t write_string_to_buffer
00815250 t int2str
00815550 T vscnprintf
00815950 T snprintf
00815980 t get_acmod_info_table
00815a60 T get_sinit_capabilities
00815aa0 T get_supported_os_sinit_data_ver
00815ac0 t get_acmod_chipset_list
00815bd0 t get_acmod_processor_list
00815ce0 T does_acmod_match_platform
00815fd0 T print_txt_caps
00816080 T verify_acmod
008168c0 T is_sinit_acmod
00816b50 T get_bios_sinit
00816bc0 T copy_sinit
00816d40 T txt_get_error
00816ef0 t verify_ext_data_elts
008171a0 T print_event
00817230 t print_ext_data_elts
00817500 T print_os_sinit_data
00817680 T verify_bios_data
00817920 T verify_txt_heap
00818060 T restore_mtrrs
008180f0 T set_all_mtrrs
00818130 T set_mem_type
008182b0 T set_mtrrs_for_acmod
00818360 t get_page_type
008184d0 t get_region_type
00818560 t print_mtrrs
00818630 T save_mtrrs
008186d0 T validate_mtrrs
00818e40 T txt_is_launched
00818e50 T txt_is_powercycle_required
00818e60 T get_parameters
00818fe0 T txt_shutdown
00819100 T txt_prepare_cpu
00819340 T txt_protect_mem_regions
00819510 T ap_wait
008195f0 T txt_cpu_wakeup
008196b0 T txt_post_launch
00819a20 T txt_s3_launch_environment
00819a90 T evtlog_append
00819b20 T find_lcp_module
00819c50 T txt_launch_environment
0081a4a0 t g_mle_hdr
0081a4e0 t print_mseg_hdr
0081a5a0 T verify_stm
0081a7d0 T set_vtd_pmrs
0081a8d0 T verify_e820_map
0081aae0 T txt_post_launch_verify_platform
0081af00 T use_mwait
0081af20 T supports_txt
0081b120 T txt_verify_platform
0081b180 T force_aps_exit
0081b190 t stop_vmx
0081b210 T handle_init_sipi_sipi
0081b8f0 T vmx_vmexit_handler
0081ba68 A _etext
0081bb1c r g_linux_cmdline_options
0081bb40 r g_tboot_cmdline_options
0081bb80 r g_loglvl_map
0081bbb0 r gdt_table.1401
0081bbe0 R _ctype
0081bd21 r _def_policy
0081bd40 r g_policy_map
0081bed8 r _def_policy_da
0081bf00 r Td0
0081c300 r Td1
0081c700 r Td2
0081cb00 r Td3
0081cf00 r Td4
0081d300 r Te0
0081d700 r Te1
0081db00 r Te2
0081df00 r Te3
0081e300 r Te4
0081e700 r rcon
0081e768 r types.2886
0081e77c r srk_authdata
0081e790 r blob_authdata
0081e7a4 r localities.1947
0081e7b0 R p64
0081e7b8 R m62
0081e7c0 R m63
0081e7c8 R m64
0081e7d0 R mpoly
0081e99c r mem_types.1766
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.1237
008269a0 D g_log_level
008269a1 D g_log_targets
008269a4 D g_log
008269a8 d last_line_cr.1030
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
00971200 b g_linux_param_values
009712c0 b g_nr_map
009712c4 b gdt_desc.1405
009712cc b boot_params
009712d0 b g_calibrated
009712d8 b g_ticks_per_millisec
009712e0 b cr0
009712e4 b cr4
009712e8 B pcicfg_mtx
00971300 b buf.2499
00971340 b buf.1231
00971360 b buf.1142
00971380 b buf.1225
009713a0 b _policy_index_buf
009717ec b print_lock
009717f0 b no_err_idx
009717f4 b ap_in_shutdown.2919
00971800 b first_attempt.2362
00971820 b cmd_buf
00971b20 b rsp_buf
00971e20 B g_vga_delay
00971e24 b printed_host_info.1885
00971e28 b printed_msg.1660
00971e2c B ap_wfs_count
00971e30 b ilp_smm_mon_ctl.2436
00971e38 b g_cpuid_ext_feat_info
00971e3c b g_feat_ctrl_msr
00971e40 B ap_lock
00971e44 B aps_exit_guest
00971e48 b init_done.1502
00971e4c b vmcs_rev_id
00971e50 b pin_based_vm_exec_ctrls
00971e54 b proc_based_vm_exec_ctrls
00971e58 b vm_exit_ctrls
00971e5c b vm_entry_ctrls
00971e60 A _end
