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 dump_gas
00805190 t write_to_reg
008052a0 t read_from_reg
008053c0 t find_rsdp_in_range
00805470 t find_table
008055c0 T save_vtd_dmar_table
008055f0 T restore_vtd_dmar_table
00805680 T remove_vtd_dmar_table
008056e0 T get_acpi_ioapic_table
00805760 T get_acpi_mcfg_table
00805770 T machine_sleep
00805870 T set_s3_resume_vector
008058d0 T disable_smis
00805940 t get_option_val
008059b0 t cmdline_parse
00805b60 T tboot_parse_cmdline
00805b80 T linux_parse_cmdline
00805ba0 T get_tboot_loglvl
00805be0 T get_tboot_log_targets
00805cd0 T get_tboot_serial
00806040 T get_tboot_vga_delay
00806080 T get_tboot_no_usb
008060c0 T get_linux_vga
008061a0 T get_linux_mem
00806280 T skip_filename
008062e0 T g_cmdline
008064e0 T comc_init
00806630 T comc_puts
008066d0 t print_map
00806740 t insert_after_region.clone.1
008067f0 t protect_region.clone.0
00806d00 T copy_e820_map
00806ef0 T replace_e820_map
00806f10 T e820_protect_region
00806f50 T e820_check_region
00807500 T e820_reserve_ram
00807870 T print_e820_map
00807890 T get_highest_sized_ram
008079c0 T get_ram_ranges
00807f30 T is_elf_image
00808030 T expand_elf_image
00808100 T jump_elf_image
00808120 T are_hashes_equal
00808190 T hash_buffer
00808200 T extend_hash
008082e0 T print_hash
00808340 T copy_hash
008083a0 T index
008083e0 t measure_memory_integrity
008087f0 t extend_pcrs
00808960 t verify_sealed_data
00808ab0 t seal_data.clone.0
00808bd0 T seal_pre_k_state
00808e20 T verify_integrity
00809140 T seal_post_k_state
008092d0 T expand_linux_image
00809990 T jump_linux_image
008099e0 T verify_mbi
00809a40 T is_kernel_linux
00809a80 T get_module
00809ac0 t find_module
00809bc0 t remove_module
00809c80 T remove_txt_modules
00809d40 T launch_kernel
00809f50 T find_module_by_uuid
00809f80 T find_module_by_file_signature
00809fe0 T verify_modules
0080a0c0 T memcmp
0080a100 T memcpy
0080a2e0 T print_hex
0080a360 T delay
0080a4e0 t get_pde
0080a550 T map_pages_to_tboot
0080a5e0 t map_tboot_pages
0080a680 T destroy_tboot_mapping
0080a700 T enable_paging
0080a7d0 T disable_paging
0080a7f0 t pci_cfgenable
0080a880 T pcireg_cfgread
0080a910 T pcireg_cfgwrite
0080a9c0 t verify_module
0080abf0 t read_policy_from_tpm.clone.0
0080ad10 t display_signature.clone.2
0080ada0 t calc_policy_data_hash
0080aed0 T set_policy
0080c3f0 T hash_policy
0080c4b0 T apply_policy
0080c5b0 T verify_all_modules
0080c850 t memlog_write
0080c8e0 T printk_init
0080ca00 T printk
0080cb50 T rijndaelKeySetupEnc
0080cea0 T rijndaelKeySetupDec
0080d0d0 T rijndaelEncrypt
0080d5b0 T rijndael_set_key_enc_only
0080d5f0 T rijndael_set_key
0080d680 T rijndael_decrypt
0080db70 T rijndael_encrypt
0080dba0 t sha1_step
0080e0d0 T sha1_init
0080e110 T sha1_pad
0080e320 T sha1_loop
0080e3b0 T sha1_result
0080e460 T sha1_buffer
0080e4f0 T strcmp
0080e530 T strlen
0080e550 T strncmp
0080e5a0 T strncpy
0080e5f0 T strtoul
0080e7f0 T print_tb_error_msg
0080e920 T read_tb_error_code
0080e9b0 T write_tb_error_code
0080ea20 T was_last_boot_error
0080ea70 T get_tboot_mem_end
0080ea80 T cpu_wakeup
0080eab0 T s3_launch
0080ebf0 T begin_launch
0080f330 T shutdown
0080f6b0 T handle_exception
0080f6e0 t check_sealed_data
0080f720 t tpm_validate_locality
0080f770 t _tpm_submit_cmd
0080fd30 t hmac.clone.2
0080fe30 t tpm_osap.clone.3
0080ffa0 t _tpm_wrap_unseal
008108b0 t tpm_get_capability.clone.0
00810a30 t tpm_get_flags
00810b10 T tpm_pcr_read
00810bf0 T tpm_pcr_extend
00810d00 T tpm_pcr_reset
00810db0 T tpm_nv_read_value
00810f50 T tpm_nv_write_value
00811070 T tpm_get_version
00811170 T tpm_seal
00811e80 T tpm_unseal
00811f20 T tpm_cmp_creation_pcrs
008121b0 T tpm_get_nvindex_size
00812350 T release_locality
008123c0 T prepare_tpm
008123e0 T is_tpm_ready
00812680 T tpm_save_state
00812760 T tpm_get_random
00812930 T vga_init
00812990 T vga_puts
00812b20 t poly_step_func
00812d90 t l3hash
00813140 T vhash_abort
00813180 T vhash_update
00813660 T xvhash
00813a20 T vhash
00814490 T vmac
008145b0 T vmac_set_key
00814810 t write_string_to_buffer
00814950 t int2str.clone.0
00814c00 T vscnprintf
008150d0 T snprintf
00815100 t get_acmod_info_table
008151c0 t get_acmod_chipset_list
008152d0 T print_txt_caps
00815350 T get_supported_os_sinit_data_ver
00815370 T get_sinit_capabilities
008153b0 T is_sinit_acmod
00815610 T does_acmod_match_chipset
00815760 T copy_sinit
008158d0 T verify_acmod
00815f80 T txt_get_error
008160d0 T verify_bios_data
008162d0 T print_os_sinit_data
00816440 T verify_txt_heap
00816b40 t get_region_type
00816d50 t print_mtrrs
00816e10 T save_mtrrs
00816ec0 T validate_mtrrs
00817390 T restore_mtrrs
00817410 T set_mem_type
00817560 T set_mtrrs_for_acmod
00817610 T set_all_mtrrs
00817640 T find_lcp_module
00817770 T txt_is_launched
00817780 T txt_launch_environment
00817f20 T txt_s3_launch_environment
00817fa0 T txt_post_launch
008182e0 T txt_cpu_wakeup
008183c0 T txt_protect_mem_regions
008185a0 T txt_shutdown
008186c0 T txt_is_powercycle_required
008186d0 T get_parameters
00818860 T txt_prepare_cpu
00818aa0 t g_mle_hdr
00818ae0 t print_mseg_hdr
00818ba0 T supports_txt
00818d50 T set_vtd_pmrs
00818e80 T txt_verify_platform
00818ef0 T txt_post_launch_verify_platform
008193d0 T verify_e820_map
008195f0 T verify_stm
00819830 t stop_vmx
008198b0 t init_vmx_ctrl
008198f0 T vmx_vmexit_handler
00819a90 T handle_init_sipi_sipi
0081a130 T force_aps_exit
0081a13b A _etext
0081a1dc r g_linux_cmdline_options
0081a200 r g_tboot_cmdline_options
0081a230 r gdt_table.1310
0081a260 R _ctype
0081a3a1 r _def_policy
0081a3c0 r g_policy_map
0081a558 r sig_alg_str.1567
0081a560 r elt_type_str.1557
0081a580 r Td0
0081a980 r Td1
0081ad80 r Td2
0081b180 r Td3
0081b580 r Td4
0081b980 r Te0
0081bd80 r Te1
0081c180 r Te2
0081c580 r Te3
0081c980 r Te4
0081cd80 r rcon
0081cde8 r types.2069
0081cdfc r srk_authdata
0081ce10 r blob_authdata
0081ce24 r localities.1510
0081ce30 R p64
0081ce38 R m62
0081ce40 R m63
0081ce48 R m64
0081ce50 R mpoly
0081cfec r mem_types.1427
00822000 A _mle_end
00822000 D s3_flag
00822004 D g_no_usb
00822005 d g_hide_dmar
00822020 D g_com_port
00822060 D g_pre_k_s3_state
008224c4 D g_post_k_s3_state
008224d4 d post_launch_pcr17
008224e8 d post_launch_pcr18
008224fc d sealed_post_k_state_size
00822500 d sealed_post_k_state
00822700 d sealed_pre_k_state_size
00822720 d sealed_pre_k_state
00822920 d g_policy
00822940 d buf.1165
00822980 D g_log_level
00822981 D g_log_targets
00822984 D g_log
00822988 d last_line_cr.1019
008229a0 D g_mbi
008229c0 d g_saved_s3_wakeup_page
008239c0 d g_timeout
008239d0 d cursor_y
008239d1 d cursor_x
008239d4 d num_lines
008239d8 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 rsdp
0087d00c b g_dmar_table
0087d020 B g_psbdf_enabled
0087d021 B g_pbbdf_enabled
0087d040 b g_linux_param_values
0087d100 b g_tboot_param_values
0087d280 b g_nr_map
0087d284 b boot_params
0087d288 b gdt_desc.1314
0087d290 b g_ticks_per_millisec
0087d298 b g_calibrated
0087d29c b cr0
0087d2a0 b cr4
0087d2a4 B pcicfg_mtx
0087d2c0 b buf.1952
0087d300 b _policy_index_buf
0087d760 b buf.1078
0087d780 b buf.1161
0087d7a0 b buf.1157
0087d7c0 b print_lock
0087d7c4 b no_err_idx
0087d7e0 b cmd_buf
0087dae0 b rsp_buf
0087dde0 b first_attempt.1718
0087dde4 B g_vga_delay
0087dde8 B ap_wfs_count
0087ddf0 b ilp_smm_mon_ctl.2074
0087ddf8 b g_cpuid_ext_feat_info
0087ddfc b g_feat_ctrl_msr
0087de00 B ap_lock
0087de04 B aps_exit_guest
0087de08 b vmcs_rev_id
0087de0c b init_done.1443
0087de10 b pin_based_vm_exec_ctrls
0087de14 b proc_based_vm_exec_ctrls
0087de18 b vm_exit_ctrls
0087de1c b vm_entry_ctrls
0087de20 A _end
