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
00806a30 T tboot_parse_cmdline
00806a50 T linux_parse_cmdline
00806a70 T get_loglvl_prefix
00806ae0 T get_tboot_loglvl
00806ba0 T get_tboot_log_targets
00806c80 T get_tboot_serial
00806f30 T get_tboot_vga_delay
00806f70 T get_tboot_prefer_da
00806fb0 T get_tboot_min_ram
00806ff0 T get_tboot_mwait
00807030 T get_tboot_call_racm
00807070 T get_linux_vga
00807140 T get_linux_mem
00807230 T skip_filename
008072a0 T g_cmdline
008074a0 T comc_init
00807600 T comc_puts
008076b0 t is_overlapped
00807850 t print_map
008078d0 t insert_after_region.constprop.7
00807990 t protect_region.part.3.constprop.5
00807e10 T copy_e820_map
00808000 T replace_e820_map
00808020 T e820_protect_region
00808090 T e820_check_region
00808380 T e820_reserve_ram
00808710 T print_e820_map
00808720 T get_highest_sized_ram
00808870 T get_ram_ranges
00808c80 T is_elf_image
00808d80 T expand_elf_image
00808e50 T jump_elf_image
00808e70 T are_hashes_equal
00808ee0 T hash_buffer
00808f50 T extend_hash
00809000 T print_hash
00809060 T copy_hash
008090b0 T index
008090e0 t measure_memory_integrity
008094f0 t verify_sealed_data
00809640 t extend_pcrs
008097e0 t seal_data.constprop.0
00809910 T seal_pre_k_state
00809b50 T verify_integrity
00809e50 T seal_post_k_state
00809fb0 T expand_linux_image
0080a680 T jump_linux_image
0080a6d0 T verify_mbi
0080a730 T is_kernel_linux
0080a770 T get_module
0080a7b0 t find_module
0080a8d0 t remove_module
0080a990 T get_mbi_mem_end
0080aad0 T remove_txt_modules
0080abc0 T launch_kernel
0080b090 T find_module_by_uuid
0080b0c0 T find_module_by_file_signature
0080b120 T verify_modules
0080b200 T memcmp
0080b260 T memcpy
0080b420 T print_hex
0080b490 T delay
0080b610 T mtx_init
0080b620 T mtx_enter
0080b640 T mtx_leave
0080b650 t get_pde
0080b6c0 T map_pages_to_tboot
0080b750 t map_tboot_pages
0080b800 T destroy_tboot_mapping
0080b880 T enable_paging
0080b950 T disable_paging
0080b970 t pci_cfgenable.part.0
0080b9f0 T pcireg_cfgread
0080ba80 T pcireg_cfgwrite
0080bb50 t read_policy_from_tpm.constprop.2
0080bc70 t verify_module
0080bf10 T set_policy
0080ce90 T hash_policy
0080cf70 T apply_policy
0080d070 T verify_all_modules
0080d3a0 t memlog_write
0080d430 T printk_init
0080d540 T printk
0080d6b0 T rijndaelKeySetupEnc
0080da60 T rijndaelKeySetupDec
0080dc90 T rijndaelEncrypt
0080e140 T rijndael_set_key_enc_only
0080e180 T rijndael_set_key
0080e200 T rijndael_decrypt
0080e6c0 T rijndael_encrypt
0080e6f0 t sha1_step
0080ec50 T sha1_init
0080ec90 T sha1_pad
0080eea0 T sha1_loop
0080ef30 T sha1_result
0080efe0 T sha1_buffer
0080f070 T strcmp
0080f0b0 T strlen
0080f0d0 T strncmp
0080f120 T strncpy
0080f180 T strtoul
0080f380 T print_tb_error_msg
0080f4b0 T read_tb_error_code
0080f540 T write_tb_error_code
0080f5b0 T was_last_boot_error
0080f600 T get_tboot_mem_end
0080f610 T cpu_wakeup
0080f640 T startup_rlps
0080f680 T launch_racm
0080f780 T s3_launch
0080f8f0 T begin_launch
008100b0 T shutdown
008104f0 T handle_exception
00810510 t tpm_validate_locality
00810550 t check_sealed_data.part.0
00810590 t hmac.constprop.7
00810680 t _tpm_submit_cmd
00810d10 t tpm_osap.part.1
00810de0 t tpm_get_capability.constprop.3
00810f40 t tpm_get_flags
00811020 t _tpm_wrap_unseal
008118e0 T tpm_pcr_read
008119c0 T tpm_pcr_extend
00811b60 T tpm_pcr_reset
00811c10 T tpm_nv_read_value
00811da0 T tpm_nv_write_value
00811ec0 T tpm_get_version
00811f80 T tpm_seal
00812b90 T tpm_unseal
00812c40 T tpm_cmp_creation_pcrs
00812ea0 T tpm_get_nvindex_size
00813040 T release_locality
008130b0 T prepare_tpm
008130d0 T is_tpm_ready
008133c0 T tpm_save_state
00813490 T tpm_get_random
00813670 T vga_init
008136d0 T vga_puts
00813890 t l3hash
00813bf0 t poly_step_func.isra.0
00813e00 T vhash_abort
00813e40 T vhash_update
00814300 T xvhash
008146e0 T vhash
00815090 T vmac
008151d0 T vmac_set_key
008153f0 t write_string_to_buffer
00815510 t int2str.constprop.0
00815780 T vscnprintf
00815c40 T snprintf
00815c70 t get_acmod_info_table
00815d40 t get_acmod_chipset_list
00815e40 t get_acmod_processor_list
00815f40 t is_acmod
008161c0 T print_txt_caps
00816270 t print_acm_hdr
00816810 T get_supported_os_sinit_data_ver
00816830 T get_sinit_capabilities
00816870 T is_racm_acmod
00816910 T is_sinit_acmod
00816960 T does_acmod_match_platform
00816c60 T get_bios_sinit
00816ce0 T copy_racm
00816d60 T copy_sinit
00816ee0 T verify_racm
00817050 T verify_acmod
00817270 T txt_get_error
008174a0 t verify_ext_data_elts
00817750 T print_event
008177e0 t print_ext_data_elts
00817a90 T verify_bios_data
00817d20 T print_os_sinit_data
00817eb0 T verify_txt_heap
008185d0 t print_mtrrs
008186a0 t get_maxphyaddr_mask.part.0
00818720 t get_page_type
00818850 t get_region_type
008188d0 T save_mtrrs
00818970 T validate_mtrrs
00819040 T restore_mtrrs
008190c0 T set_mem_type
00819220 T set_mtrrs_for_acmod
008192d0 T set_all_mtrrs
00819300 t init_event_log
00819370 T find_lcp_module
008194a0 T evtlog_append
00819540 T txt_is_launched
00819550 T txt_launch_environment
00819c80 T txt_s3_launch_environment
00819d20 T txt_launch_racm
00819e80 T txt_post_launch
0081a1f0 T ap_wait
0081a2e0 T txt_cpu_wakeup
0081a3b0 T txt_protect_mem_regions
0081a580 T txt_shutdown
0081a6b0 T txt_is_powercycle_required
0081a6c0 T get_parameters
0081a860 T txt_prepare_cpu
0081aaa0 t g_mle_hdr
0081aae0 t print_mseg_hdr
0081aba0 T use_mwait
0081abc0 T supports_txt
0081ad80 T set_vtd_pmrs
0081aea0 T txt_verify_platform
0081af20 T txt_post_launch_verify_platform
0081b300 T verify_e820_map
0081b540 T verify_stm
0081b750 t init_vmx_ctrl
0081b790 t stop_vmx
0081b820 T vmx_vmexit_handler
0081b9d0 T handle_init_sipi_sipi
0081c080 T force_aps_exit
0081c08b T _etext
0081c08b t parse_pci_bdf
0081c1a0 r g_tboot_cmdline_options
0081c1e8 r g_linux_cmdline_options
0081c200 r g_loglvl_map
0081c230 r gdt_table.1455
0081c260 R _ctype
0081c3a1 r _def_policy_da
0081c3bd r _def_policy
0081c3e0 r g_policy_map
0081c580 r Te4
0081c980 r rcon
0081c9c0 r Td0
0081cdc0 r Td1
0081d1c0 r Td2
0081d5c0 r Td3
0081d9c0 r Te0
0081ddc0 r Te1
0081e1c0 r Te2
0081e5c0 r Te3
0081e9c0 r Td4
0081ee00 r types.2773
0081ee14 r localities.1660
0081ee19 r srk_authdata
0081ee2d r blob_authdata
0081ee48 R mpoly
0081ee50 R m64
0081ee58 R m63
0081ee60 R m62
0081ee68 R p64
0081f034 r mem_types.1713
00828000 D _mle_end
00828000 D s3_flag
00828004 d g_hide_dmar
00828020 D g_com_port
00828060 D g_post_k_s3_state
00828080 D g_pre_k_s3_state
008284e4 d post_launch_pcr17
008284f8 d post_launch_pcr18
0082850c d sealed_pre_k_state_size
00828520 d sealed_pre_k_state
00828720 d sealed_post_k_state_size
00828740 d sealed_post_k_state
00828940 d g_policy
00828944 D g_log
00828948 D g_log_targets
00828949 D g_log_level
0082894a d last_line_cr.1162
00828960 D g_mbi
00828980 d g_saved_s3_wakeup_page
00829980 d g_timeout
00829990 d cursor_x
00829991 d cursor_y
00829994 d num_lines
00829998 d g_saved_mtrrs
0082999c D g_using_da
008299a0 d g_elog
0082a000 D _tboot_shared
0082b000 B __bss_start
0082b000 b bsp_stack_end
0082c000 b ap_stacks_end
0082c000 b bsp_stack
0086c000 b ap_stacks
0086c000 B idle_pg_table
0086d000 B host_vmcs
0086e000 B ap_vmcs
0096e000 B pd_table
00972000 B pdptr_table
00973000 b _real_mode_entry_point
00973008 b g_dmar_table
0097300c b rsdp
00973020 B g_pbbdf_enabled
00973021 B g_psbdf_enabled
00973040 b g_tboot_param_values
00973280 b g_linux_param_values
00973340 B g_min_ram
00973344 b g_nr_map
00973348 b boot_params
0097334c b gdt_desc.1459
00973358 b g_ticks_per_millisec
00973360 b g_calibrated
00973364 b cr0
00973368 b cr4
0097336c B pcicfg_mtx
00973380 b _policy_index_buf
009737e0 b buf.1309
00973800 b buf.1226
00973820 b buf.1313
00973860 b buf.1305
00973880 b buf.2325
009738a4 b print_lock
009738a8 b no_err_idx
009738c0 b cmd_buf
00973bc0 b rsp_buf
00973ec0 b first_attempt.1868
00973ec4 B g_vga_delay
00973ec8 b printed_host_info.1827
00973ecc b printed_msg.1803
00973ed0 B ap_wfs_count
00973ed8 b g_cpuid_ext_feat_info
00973edc b g_feat_ctrl_msr
00973ee0 b ilp_smm_mon_ctl.2349
00973ee8 B aps_exit_guest
00973eec B ap_lock
00973ef0 b init_done.1599
00973ef4 b vmcs_rev_id
00973ef8 b pin_based_vm_exec_ctrls
00973efc b proc_based_vm_exec_ctrls
00973f00 b vm_exit_ctrls
00973f04 b vm_entry_ctrls
00973f08 B _end
