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 get_option_val
00806870 t cmdline_parse
00806a40 T tboot_parse_cmdline
00806a60 T linux_parse_cmdline
00806a80 T get_loglvl_prefix
00806af0 T get_tboot_loglvl
00806bb0 T get_tboot_log_targets
00806c90 T get_tboot_serial
00806f40 T get_tboot_vga_delay
00806f80 T get_tboot_prefer_da
00806fc0 T get_tboot_min_ram
00807000 T get_tboot_mwait
00807040 T get_linux_vga
00807110 T get_linux_mem
00807200 T skip_filename
00807260 T g_cmdline
00807460 T comc_init
008075c0 T comc_puts
00807670 t is_overlapped
00807810 t print_map
00807890 t insert_after_region.constprop.7
00807950 t protect_region.part.3.constprop.5
00807dd0 T copy_e820_map
00807fc0 T replace_e820_map
00807fe0 T e820_protect_region
00808050 T e820_check_region
00808340 T e820_reserve_ram
008086d0 T print_e820_map
008086e0 T get_highest_sized_ram
00808830 T get_ram_ranges
00808c30 T is_elf_image
00808d30 T expand_elf_image
00808e00 T jump_elf_image
00808e20 T are_hashes_equal
00808e90 T hash_buffer
00808f00 T extend_hash
00808fb0 T print_hash
00809010 T copy_hash
00809060 T index
008090a0 t measure_memory_integrity
008094b0 t verify_sealed_data
00809600 t extend_pcrs
008097a0 t seal_data.constprop.0
008098d0 T seal_pre_k_state
00809b10 T verify_integrity
00809e10 T seal_post_k_state
00809f70 T expand_linux_image
0080a640 T jump_linux_image
0080a690 T verify_mbi
0080a6f0 T is_kernel_linux
0080a730 T get_module
0080a770 t find_module
0080a890 t remove_module
0080a950 T get_mbi_mem_end
0080aa90 T remove_txt_modules
0080ab80 T launch_kernel
0080b050 T find_module_by_uuid
0080b080 T find_module_by_file_signature
0080b0e0 T verify_modules
0080b1c0 T memcmp
0080b220 T memcpy
0080b3c0 T print_hex
0080b430 T delay
0080b5b0 T mtx_init
0080b5c0 T mtx_enter
0080b5e0 T mtx_leave
0080b5f0 t get_pde
0080b660 T map_pages_to_tboot
0080b6f0 t map_tboot_pages
0080b7a0 T destroy_tboot_mapping
0080b820 T enable_paging
0080b8f0 T disable_paging
0080b910 t pci_cfgenable.part.0
0080b990 T pcireg_cfgread
0080ba20 T pcireg_cfgwrite
0080baf0 t read_policy_from_tpm.constprop.2
0080bc10 t verify_module
0080be40 T set_policy
0080cdd0 T hash_policy
0080ceb0 T apply_policy
0080cfb0 T verify_all_modules
0080d2f0 t memlog_write
0080d380 T printk_init
0080d490 T printk
0080d600 T rijndaelKeySetupEnc
0080d9b0 T rijndaelKeySetupDec
0080dbe0 T rijndaelEncrypt
0080e090 T rijndael_set_key_enc_only
0080e0d0 T rijndael_set_key
0080e150 T rijndael_decrypt
0080e610 T rijndael_encrypt
0080e640 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
0080f0c0 T strtoul
0080f2c0 T print_tb_error_msg
0080f3f0 T read_tb_error_code
0080f480 T write_tb_error_code
0080f4f0 T was_last_boot_error
0080f540 T get_tboot_mem_end
0080f550 T cpu_wakeup
0080f580 T s3_launch
0080f700 T begin_launch
0080fea0 T shutdown
008102c0 T handle_exception
008102e0 t tpm_validate_locality
00810320 t check_sealed_data.part.0
00810360 t hmac.constprop.7
00810450 t _tpm_submit_cmd
00810ae0 t tpm_osap.part.1
00810bb0 t tpm_get_capability.constprop.3
00810d10 t tpm_get_flags
00810df0 t _tpm_wrap_unseal
008116b0 T tpm_pcr_read
00811790 T tpm_pcr_extend
00811930 T tpm_pcr_reset
008119e0 T tpm_nv_read_value
00811b70 T tpm_nv_write_value
00811c90 T tpm_get_version
00811d50 T tpm_seal
00812960 T tpm_unseal
00812a10 T tpm_cmp_creation_pcrs
00812c70 T tpm_get_nvindex_size
00812e10 T release_locality
00812e80 T prepare_tpm
00812ea0 T is_tpm_ready
00813190 T tpm_save_state
00813260 T tpm_get_random
00813440 T vga_init
008134a0 T vga_puts
00813660 t l3hash
008139c0 t poly_step_func.isra.0
00813bd0 T vhash_abort
00813c10 T vhash_update
008140d0 T xvhash
008144b0 T vhash
00814e80 T vmac
00814fc0 T vmac_set_key
008151e0 t write_string_to_buffer
00815300 t int2str.constprop.0
00815570 T vscnprintf
00815a30 T snprintf
00815a60 t get_acmod_info_table
00815b30 t get_acmod_chipset_list
00815c30 t get_acmod_processor_list
00815d30 T print_txt_caps
00815de0 T get_supported_os_sinit_data_ver
00815e00 T get_sinit_capabilities
00815e40 T is_sinit_acmod
00816090 T does_acmod_match_platform
008163a0 T get_bios_sinit
00816420 T copy_sinit
00816590 T verify_acmod
00816d30 T txt_get_error
00816ec0 t verify_ext_data_elts
00817170 T print_event
00817200 t print_ext_data_elts
008174b0 T verify_bios_data
00817740 T print_os_sinit_data
008178d0 T verify_txt_heap
00817ff0 t print_mtrrs
008180c0 t get_maxphyaddr_mask.part.0
00818140 t get_page_type
00818270 t get_region_type
008182f0 T save_mtrrs
00818390 T validate_mtrrs
00818a60 T restore_mtrrs
00818ae0 T set_mem_type
00818c40 T set_mtrrs_for_acmod
00818cf0 T set_all_mtrrs
00818d20 T find_lcp_module
00818e50 T evtlog_append
00818ef0 T txt_is_launched
00818f00 T txt_launch_environment
00819690 T txt_s3_launch_environment
00819710 T txt_post_launch
00819a80 T ap_wait
00819b80 T txt_cpu_wakeup
00819c50 T txt_protect_mem_regions
00819e20 T txt_shutdown
00819f40 T txt_is_powercycle_required
00819f50 T get_parameters
0081a0f0 T txt_prepare_cpu
0081a320 t g_mle_hdr
0081a360 t print_mseg_hdr
0081a420 T use_mwait
0081a440 T supports_txt
0081a600 T set_vtd_pmrs
0081a720 T txt_verify_platform
0081a7a0 T txt_post_launch_verify_platform
0081ab80 T verify_e820_map
0081add0 T verify_stm
0081afe0 t init_vmx_ctrl
0081b020 t stop_vmx
0081b0b0 T vmx_vmexit_handler
0081b260 T handle_init_sipi_sipi
0081b910 T force_aps_exit
0081b91b T _etext
0081b91b t parse_pci_bdf
0081ba40 r g_tboot_cmdline_options
0081ba80 r g_linux_cmdline_options
0081baa0 r g_loglvl_map
0081bad0 r gdt_table.1452
0081bb00 R _ctype
0081bc41 r _def_policy_da
0081bc5d r _def_policy
0081bc80 r g_policy_map
0081be20 r Te4
0081c220 r rcon
0081c260 r Td0
0081c660 r Td1
0081ca60 r Td2
0081ce60 r Td3
0081d260 r Te0
0081d660 r Te1
0081da60 r Te2
0081de60 r Te3
0081e260 r Td4
0081e6a0 r types.2746
0081e6b4 r localities.1659
0081e6b9 r srk_authdata
0081e6cd r blob_authdata
0081e6e8 R mpoly
0081e6f0 R m64
0081e6f8 R m63
0081e700 R m62
0081e708 R p64
0081e8d4 r mem_types.1704
00827000 D _mle_end
00827000 D s3_flag
00827004 d g_hide_dmar
00827020 D g_com_port
00827060 D g_post_k_s3_state
00827080 D g_pre_k_s3_state
008274e4 d post_launch_pcr17
008274f8 d post_launch_pcr18
0082750c d sealed_pre_k_state_size
00827520 d sealed_pre_k_state
00827720 d sealed_post_k_state_size
00827740 d sealed_post_k_state
00827940 d g_policy
00827944 D g_log
00827948 D g_log_targets
00827949 D g_log_level
0082794a d last_line_cr.1159
00827960 D g_mbi
00827980 d g_saved_s3_wakeup_page
00828980 d g_timeout
00828990 d cursor_x
00828991 d cursor_y
00828994 d num_lines
00828998 d g_saved_mtrrs
0082899c D g_using_da
008289a0 d g_elog
00829000 D _tboot_shared
0082a000 B __bss_start
0082a000 b bsp_stack_end
0082b000 b ap_stacks_end
0082b000 b bsp_stack
0086b000 b ap_stacks
0086b000 B idle_pg_table
0086c000 B host_vmcs
0086d000 B ap_vmcs
0096d000 B pd_table
00971000 B pdptr_table
00972000 b _real_mode_entry_point
00972008 b g_dmar_table
0097200c b rsdp
00972020 B g_pbbdf_enabled
00972021 B g_psbdf_enabled
00972040 b g_tboot_param_values
00972240 b g_linux_param_values
00972300 B g_min_ram
00972304 b g_nr_map
00972308 b boot_params
0097230c b gdt_desc.1456
00972318 b g_ticks_per_millisec
00972320 b g_calibrated
00972324 b cr0
00972328 b cr4
0097232c B pcicfg_mtx
00972340 b _policy_index_buf
009727a0 b buf.1308
009727c0 b buf.1225
009727e0 b buf.1312
00972820 b buf.1304
00972840 b buf.2306
00972864 b print_lock
00972868 b no_err_idx
0097286c b ap_in_shutdown.2767
00972880 b cmd_buf
00972b80 b rsp_buf
00972e80 b first_attempt.1867
00972e84 B g_vga_delay
00972e88 b printed_host_info.1807
00972e8c b printed_msg.1794
00972e90 B ap_wfs_count
00972e98 b g_cpuid_ext_feat_info
00972e9c b g_feat_ctrl_msr
00972ea0 b ilp_smm_mon_ctl.2331
00972ea8 B aps_exit_guest
00972eac B ap_lock
00972eb0 b init_done.1596
00972eb4 b vmcs_rev_id
00972eb8 b pin_based_vm_exec_ctrls
00972ebc b proc_based_vm_exec_ctrls
00972ec0 b vm_exit_ctrls
00972ec4 b vm_entry_ctrls
00972ec8 B _end
