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
00806260 t read_from_reg
00806380 t find_rsdp_in_range
00806430 t find_table
00806580 T save_vtd_dmar_table
008065b0 T restore_vtd_dmar_table
00806640 T remove_vtd_dmar_table
008066a0 T get_acpi_ioapic_table
00806720 T get_acpi_mcfg_table
00806730 T machine_sleep
00806810 T set_s3_resume_vector
00806860 t get_option_val
008068d0 t cmdline_parse
00806a80 T tboot_parse_cmdline
00806aa0 T linux_parse_cmdline
00806ac0 T get_loglvl_prefix
00806b40 T get_tboot_loglvl
00806c00 T get_tboot_log_targets
00806ce0 T get_tboot_serial
00806fa0 T get_tboot_vga_delay
00806fe0 T get_tboot_prefer_da
00807020 T get_tboot_mwait
00807060 T get_linux_vga
00807140 T get_linux_mem
00807220 T skip_filename
00807280 T g_cmdline
00807480 T comc_init
008075d0 T comc_puts
00807680 t print_map
008076f0 t insert_after_region.constprop.6
008077a0 t protect_region.part.3.constprop.4
00807c60 T copy_e820_map
00807e80 T replace_e820_map
00807ea0 T e820_protect_region
00807f40 T e820_check_region
00808470 T e820_reserve_ram
00808800 T print_e820_map
00808810 T get_ram_ranges
00808b70 T get_highest_sized_ram
00808ca0 T is_elf_image
00808da0 T expand_elf_image
00808e70 T jump_elf_image
00808e90 T are_hashes_equal
00808f00 T hash_buffer
00808f70 T extend_hash
00809050 T print_hash
008090b0 T copy_hash
00809110 T index
00809150 t measure_memory_integrity
00809580 t verify_sealed_data
008096d0 t extend_pcrs
00809870 t seal_data.constprop.0
00809990 T seal_pre_k_state
00809be0 T verify_integrity
00809f00 T seal_post_k_state
0080a070 T expand_linux_image
0080a770 T jump_linux_image
0080a7c0 T verify_mbi
0080a820 T is_kernel_linux
0080a860 T get_module
0080a8a0 t find_module
0080a9d0 t remove_module
0080aa90 T get_mbi_mem_end
0080abc0 T remove_txt_modules
0080aca0 T launch_kernel
0080b1a0 T find_module_by_uuid
0080b1d0 T find_module_by_file_signature
0080b230 T verify_modules
0080b310 T memcmp
0080b380 T memcpy
0080b510 T print_hex
0080b590 T delay
0080b710 T mtx_init
0080b720 T mtx_enter
0080b740 T mtx_leave
0080b750 t get_pde
0080b7c0 T map_pages_to_tboot
0080b850 t map_tboot_pages
0080b8f0 T destroy_tboot_mapping
0080b970 T enable_paging
0080ba40 T disable_paging
0080ba60 t pci_cfgenable
0080bb00 T pcireg_cfgread
0080bb80 T pcireg_cfgwrite
0080bc30 t verify_module
0080be70 t read_policy_from_tpm.constprop.1
0080bf90 T set_policy
0080cf70 T hash_policy
0080d030 T apply_policy
0080d120 T verify_all_modules
0080d440 t memlog_write
0080d4d0 T printk_init
0080d5e0 T printk
0080d780 T rijndaelKeySetupEnc
0080db40 T rijndaelKeySetupDec
0080dd70 T rijndaelEncrypt
0080e240 T rijndael_set_key_enc_only
0080e280 T rijndael_set_key
0080e300 T rijndael_decrypt
0080e7f0 T rijndael_encrypt
0080e820 t sha1_step
0080ed70 T sha1_init
0080edb0 T sha1_pad
0080efc0 T sha1_loop
0080f050 T sha1_result
0080f100 T sha1_buffer
0080f190 T strcmp
0080f1d0 T strlen
0080f1f0 T strncmp
0080f240 T strncpy
0080f290 T strtoul
0080f4a0 T print_tb_error_msg
0080f5d0 T read_tb_error_code
0080f660 T write_tb_error_code
0080f6d0 T was_last_boot_error
0080f720 T get_tboot_mem_end
0080f730 T cpu_wakeup
0080f760 T s3_launch
0080f8e0 T begin_launch
00810080 T shutdown
00810480 T handle_exception
008104a0 t tpm_validate_locality
008104f0 t _tpm_submit_cmd
00810b50 t hmac.constprop.4
00810c50 t tpm_osap.constprop.6
00810db0 t _tpm_wrap_unseal
008116e0 t tpm_get_capability.constprop.5
00811860 t tpm_get_flags
00811940 T tpm_pcr_read
00811a20 T tpm_pcr_extend
00811b40 T tpm_pcr_reset
00811bf0 T tpm_nv_read_value
00811d80 T tpm_nv_write_value
00811ea0 T tpm_get_version
00811fa0 T tpm_seal
00812cc0 T tpm_unseal
00812d80 T tpm_cmp_creation_pcrs
00813040 T tpm_get_nvindex_size
008131d0 T release_locality
00813240 T prepare_tpm
00813260 T is_tpm_ready
00813550 T tpm_save_state
00813620 T tpm_get_random
00813800 T vga_init
00813860 T vga_puts
00813a30 t l3hash
00813d70 t poly_step_func.isra.0
00813f60 T vhash_abort
00813fb0 T vhash_update
008143d0 T xvhash
008147b0 T vhash
00815070 T vmac
00815190 T vmac_set_key
008153a0 t write_string_to_buffer
008154f0 t int2str.constprop.1
00815780 T vscnprintf
00815bb0 T snprintf
00815be0 t get_acmod_info_table
00815ca0 t get_acmod_chipset_list
00815db0 t get_acmod_processor_list
00815ec0 T print_txt_caps
00815f70 T get_supported_os_sinit_data_ver
00815f90 T get_sinit_capabilities
00815fd0 T is_sinit_acmod
00816240 T does_acmod_match_platform
00816560 T get_bios_sinit
008165e0 T copy_sinit
00816750 T verify_acmod
00816f40 T txt_get_error
008170d0 t verify_ext_data_elts
00817360 T print_event
008173f0 t print_ext_data_elts
008176a0 T verify_bios_data
00817950 T print_os_sinit_data
00817ae0 T verify_txt_heap
00818230 t print_mtrrs
00818300 t get_maxphyaddr_mask.part.0
00818370 t get_page_type
008184a0 t get_region_type
00818520 T save_mtrrs
008185d0 T validate_mtrrs
00818cc0 T restore_mtrrs
00818d40 T set_mem_type
00818ea0 T set_mtrrs_for_acmod
00818f50 T set_all_mtrrs
00818f80 T find_lcp_module
008190b0 T evtlog_append
00819140 T txt_is_launched
00819150 T txt_launch_environment
00819920 T txt_s3_launch_environment
008199a0 T txt_post_launch
00819d10 T ap_wait
00819e10 T txt_cpu_wakeup
00819ee0 T txt_protect_mem_regions
0081a0c0 T txt_shutdown
0081a1e0 T txt_is_powercycle_required
0081a1f0 T get_parameters
0081a380 T txt_prepare_cpu
0081a5c0 t g_mle_hdr
0081a600 t print_mseg_hdr
0081a6c0 T use_mwait
0081a6e0 T supports_txt
0081a8c0 T set_vtd_pmrs
0081a9c0 T txt_verify_platform
0081aa30 T txt_post_launch_verify_platform
0081aeb0 T verify_e820_map
0081b0e0 T verify_stm
0081b310 t init_vmx_ctrl
0081b350 t stop_vmx
0081b3d0 T vmx_vmexit_handler
0081b570 T handle_init_sipi_sipi
0081bc10 T force_aps_exit
0081bc1b A _etext
0081bc1b t parse_pci_bdf
0081bd40 r g_tboot_cmdline_options
0081bd78 r g_linux_cmdline_options
0081bda0 r g_loglvl_map
0081bdd0 r gdt_table.1322
0081be00 R _ctype
0081bf41 r _def_policy_da
0081bf5d r _def_policy
0081bf80 r g_policy_map
0081c120 r Te4
0081c520 r rcon
0081c560 r Td0
0081c960 r Td1
0081cd60 r Td2
0081d160 r Td3
0081d560 r Te0
0081d960 r Te1
0081dd60 r Te2
0081e160 r Te3
0081e560 r Td4
0081e9a0 r types.2602
0081e9b4 r localities.1528
0081e9b9 r srk_authdata
0081e9cd r blob_authdata
0081e9e8 R mpoly
0081e9f0 R m64
0081e9f8 R m63
0081ea00 R m62
0081ea08 R p64
0081ebd4 r mem_types.1564
00827000 A _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.1029
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 A __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
00972200 b g_linux_param_values
009722c0 b g_nr_map
009722c4 b boot_params
009722c8 b gdt_desc.1326
009722d0 b g_ticks_per_millisec
009722d8 b g_calibrated
009722dc b cr0
009722e0 b cr4
009722e4 B pcicfg_mtx
00972300 b _policy_index_buf
00972760 b buf.1180
00972780 b buf.1097
009727a0 b buf.1184
009727e0 b buf.1176
00972800 b buf.2164
00972824 b print_lock
00972828 b no_err_idx
0097282c b ap_in_shutdown.2623
00972840 b cmd_buf
00972b40 b rsp_buf
00972e40 b first_attempt.1736
00972e44 B g_vga_delay
00972e48 b printed_host_info.1666
00972e4c b printed_msg.1654
00972e50 B ap_wfs_count
00972e58 b g_cpuid_ext_feat_info
00972e5c b g_feat_ctrl_msr
00972e60 b ilp_smm_mon_ctl.2188
00972e68 B aps_exit_guest
00972e6c B ap_lock
00972e70 b vmcs_rev_id
00972e74 b init_done.1467
00972e78 b pin_based_vm_exec_ctrls
00972e7c b proc_based_vm_exec_ctrls
00972e80 b vm_exit_ctrls
00972e84 b vm_entry_ctrls
00972e88 A _end
