00800000 t multiboot_header
00800010 t multiboot2_header
00800040 t multiboot2_header_end
00801000 t g_mle_pt
00804000 T _mle_start
00804000 T _start
00804000 T start
00804010 T _post_launch_entry
0080405b t layout_err
00804090 T __start
008040f0 T __enable_nmi
00804100 T vmx_asm_vmexit_handler
00804110 T _mini_guest
00804120 t compat_mode_entry
00804145 t shutdown_entry32
008041d0 T shutdown_entry
00804202 t compatibility_mode_far
00804210 T _txt_wakeup
00804270 T _prot_to_real
008042c7 t int_handler
008042d0 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
00806160 t write_to_reg
00806270 t find_rsdp_in_range.part.0
008062e0 t read_from_reg.constprop.0
008063f0 t find_rsdp
008064f0 t find_table
00806620 T get_rsdp
00806680 T get_madt_apic_base
008066b0 T get_acpi_ioapic_table
00806730 T get_acpi_mcfg_table
00806740 T get_vtd_dmar_table
00806750 T machine_sleep
00806820 T set_s3_resume_vector
00806860 t cmdline_parse
008069f0 T tboot_parse_cmdline
00806a20 T linux_parse_cmdline
00806a50 T get_loglvl_prefix
00806ad0 T get_tboot_loglvl
00806bd0 T get_tboot_log_targets
00806d20 T get_tboot_serial
008070e0 T get_tboot_vga_delay
00807160 T get_tboot_prefer_da
008071e0 T get_tboot_min_ram
00807260 T get_tboot_mwait
008072e0 T get_tboot_call_racm
00807360 T get_tboot_call_racm_check
008073e0 T get_tboot_measure_nv
00807460 T get_tboot_extpol
00807640 T get_tboot_force_tpm2_legacy_log
008076c0 T get_tboot_ignore_prev_err
00807740 T get_tboot_save_vtd
008077c0 T get_tboot_dump_memmap
00807840 T get_linux_vga
00807940 T get_linux_mem
00807a40 T g_cmdline
00807c40 T comc_init
00807da0 T comc_puts
00807e40 t e820_get_highest_sized_ram.part.0
00807f40 t insert_after_region.constprop.0
00808010 t protect_region.part.0.constprop.0
008083d0 t e820_reserve_ram.part.0
008086a0 T get_e820_copy
008086b0 T get_nr_map
008086c0 T copy_e820_map
008088f0 T e820_protect_region
00808960 T e820_check_region
00808e70 T e820_reserve_ram
00808ec0 T print_e820_map
00808f50 T get_ram_ranges
00809350 T e820_get_highest_sized_ram
008093c0 T vtd_bios_enabled
008093e0 T vtd_save_dmar_table
00809410 T vtd_restore_dmar_table
008094a0 T vtd_remove_dmar_table
00809500 T vtd_get_dmar_remap
00809540 T vtd_disable_dma_remap
00809590 T vtd_disable_qie
00809650 T vtd_disable_ire
008096b0 T is_elf_image
00809840 T get_elf_image_range
00809930 T expand_elf_image
00809ab0 T jump_elf_image
00809ad0 T are_hashes_equal
00809b70 T hash_buffer
00809ca0 T extend_hash
00809ee0 T print_hash
00809fa0 T copy_hash
0080a000 T tb_index
0080a040 t extend_pcrs
0080a0e0 t verify_sealed_data
0080a260 t measure_memory_integrity.part.0
0080a5d0 t seal_data.constprop.0
0080a6e0 T seal_pre_k_state
0080a970 T verify_integrity
0080ac50 T seal_post_k_state
0080ada0 T expand_linux_image
0080b840 T jump_linux_image
0080b890 t get_mbi_mem_end_mb1
0080b9d0 t remove_mb2_tag
0080ba60 t grow_mb2_tag
0080bb90 T get_module
0080bc80 T get_module_cmd
0080bcd0 T get_first_module_cmd
0080bd40 T get_cmdline
0080bda0 T have_loader_memlimits
0080be00 T get_loader_mem_lower
0080be60 T get_loader_mem_upper
0080bec0 T get_module_count
0080bf60 T verify_loader_context
0080c000 T is_kernel_linux
0080c040 t remove_module.part.0
0080c3b0 t move_modules.part.0
0080c880 T move_modules
0080c8b0 t find_module
0080c9f0 T find_module_by_uuid
0080ca20 T find_module_by_file_signature
0080ca80 T find_lcp_module
0080cb90 T remove_txt_modules
0080cca0 T verify_modules
0080cdd0 T have_loader_memmap
0080ce30 T get_loader_memmap
0080ce90 T get_loader_memmap_length
0080cef0 T get_loader_ctx_end
0080cf30 T find_platform_racm
0080d090 T find_platform_sinit_module
0080d280 T replace_e820_map
0080d3b0 T print_loader_ctx
0080d4f0 T get_loader_rsdp
0080d570 T get_loader_efi_ptr
0080d630 T launch_kernel
0080e4a0 T find_efi_memmap
0080e560 T is_loader_launch_efi
0080e5c0 T load_framebuffer_info
0080e6e0 T get_framebuffer_info
0080e730 T determine_loader_type
0080e7f0 T tb_memcmp
0080e850 T tb_memcpy
0080ea80 T print_hex
0080eb00 T delay
0080ec40 T mtx_init
0080ec50 T mtx_enter
0080ec70 T mtx_leave
0080ec80 t get_pde
0080ed00 T map_pages_to_tboot
0080ed70 T destroy_tboot_mapping
0080edf0 T enable_paging
0080ef70 T disable_paging
0080ef90 t pci_cfgenable.part.0
0080f030 T pcireg_cfgread
0080f0f0 T pcireg_cfgwrite
0080f1b0 t read_policy_from_tpm
0080f2d0 t verify_policy.part.0
0080f6c0 t unwrap_lcp_policy
0080f980 t is_hash_in_policy_entry
0080fa40 t verify_module
0080fde0 T check_index_attribute
0080fe60 T set_policy
00810490 T hash_policy
00810550 T apply_policy
00810680 T verify_all_modules
00810ab0 T verify_all_nvindices
00810e80 T printk_init
00810f20 T printk_disable_vga
00810f30 T printk_flush
00810f60 T printk
00811110 t sha1_step
00811490 T sha1_init
008114d0 T sha1_pad
00811710 T sha1_loop
008117b0 T sha1_result
00811860 T sha1_buffer
00811900 T tb_strcmp
00811950 T tb_strlen
00811980 T tb_strncmp
008119e0 T tb_strncpy
00811a50 T tb_strtoul
00811c90 T print_tb_error_msg
00811e90 T read_tb_error_code
00811f60 T write_tb_error_code
00812000 T was_last_boot_error
00812060 t shutdown_system
00812190 T get_tboot_mem_end
008121a0 T cpu_wakeup
008121e0 T startup_rlps
00812220 T launch_racm
00812330 T check_racm_result
00812350 T s3_launch
00812590 T begin_launch
00813130 T shutdown
00813500 T handle_exception
00813520 t tpm_get_burst_count
00813580 t tpm_send_cmd_ready_status
008135f0 T tpm_validate_locality
00813630 T tpm_validate_locality_crb
008136f0 T tpm_wait_cmd_ready
00813870 T tpm_submit_cmd
00813cb0 T tpm_submit_cmd_crb
008141b0 T release_locality
00814230 T tpm_relinquish_locality_crb
00814330 T is_tpm_crb
008143c0 T prepare_tpm
008143f0 T tpm_request_locality_crb
008144d0 T tpm_workaround_crb
00814590 T tpm_detect
008147b0 T tpm_print
00814830 T get_tpm
00814840 T get_tpm_fp
00814870 T ssfn_utf8
00814950 T ssfn_putc
00814e10 T vga_init
00815050 T vga_puts
008153a0 t write_string_to_buffer
008154a0 t int2str.constprop.0
00815750 T tb_vscnprintf
00815b70 T tb_snprintf
00815ba0 t _LZ_WriteVarSize
00815c00 T LZ_Compress
00815ee0 T LZ_Uncompress
00816030 T memlog_init
00816190 T memlog_compress
008162b0 T memlog_write
00816360 t get_acmod_info_table
00816410 t get_acmod_chipset_list
00816510 t get_acmod_processor_list
00816610 t find_matching_processor_id
008166d0 t is_acmod.part.0
00816950 t find_matching_chipset_id.isra.0
00816a20 T get_tpm_info_list
00816b10 T print_txt_caps
00816c50 t print_acm_hdr
008176c0 T get_supported_os_sinit_data_ver
008176f0 T get_sinit_capabilities
00817740 T is_racm_acmod
00817810 T is_sinit_acmod
008178a0 T does_acmod_match_platform
00817cf0 T get_bios_sinit
00817d80 T copy_racm
00817e00 T copy_sinit
00817f70 T verify_racm
00818100 T verify_IA32_se_svn_status
00818280 T verify_acmod
00818500 T txt_display_errors
00818770 T txt_has_error
008187a0 T txt_get_racm_error
008189c0 t verify_ext_data_elts
00818c70 T print_event
00818d10 T print_event_2
00818e30 T print_event_2_1_log_header
00818fa0 T print_event_2_1
00819180 t print_ext_data_elts
00819740 T verify_bios_data
00819a60 T calc_os_sinit_data_size
00819b50 T print_os_sinit_data_vtdpmr
00819bd0 T print_os_sinit_data_tpr
00819ca0 T print_os_sinit_data
00819df0 T verify_txt_heap
0081a540 T get_tpr_req_element
0081a5b0 t print_mtrrs
0081a690 t get_page_type
0081a800 t get_region_type
0081a880 T save_mtrrs
0081a920 T validate_mtrrs
0081b100 T restore_mtrrs
0081b180 T set_mem_type
0081b460 T set_mtrrs_for_acmod
0081b510 T set_all_mtrrs
0081b560 t init_evtlog_desc
0081b640 t init_evtlog_desc_1
0081b6f0 t init_event_log
0081b750 T get_evtlog_type
0081b7f0 T evtlog_append_tpm12
0081b890 T dump_event_2
0081b9b0 T evtlog_append_tpm2_legacy
0081ba90 T evtlog_append_tpm2_tcg
0081bbc0 T evtlog_append
0081bcc0 T txt_is_launched
0081bcd0 T is_tpr_supported
0081bd10 T txt_launch_environment
0081c6d0 T txt_s3_launch_environment
0081c7c0 T txt_launch_racm
0081c8f0 T txt_post_launch
0081cc50 T ap_wait
0081cd30 T txt_cpu_wakeup
0081ce90 T txt_protect_mem_regions
0081d0d0 T txt_shutdown
0081d1f0 T txt_is_powercycle_required
0081d200 T get_parameters
0081d390 T txt_prepare_cpu
0081d5e0 t g_mle_hdr
0081d620 t print_mseg_hdr
0081d6e0 t get_dma_protect_info
0081d7d0 T use_mwait
0081d7f0 T supports_txt
0081da50 T set_dma_protection
0081dc10 t verify_dma_protection
0081e220 T txt_verify_platform
0081e2c0 T txt_post_launch_verify_platform
0081e320 T verify_e820_map
0081e530 T verify_stm
0081e700 t stop_vmx
0081e780 T vmx_vmexit_handler
0081e910 T handle_init_sipi_sipi
0081f0c0 T force_aps_exit
0081f0d0 t _tpm12_submit_cmd
0081f230 t tpm12_check
0081f270 t _tpm12_pcr_extend
0081f340 t tpm12_cap_pcrs
0081f480 t tpm12_get_random
0081f6b0 t tpm12_nv_write_value
0081f800 t tpm12_nv_read_value
0081f9b0 t tpm12_pcr_reset
0081fa90 t tpm12_pcr_read
0081fba0 t tpm12_pcr_extend
0081fc20 t tpm12_save_state
0081fd10 t tpm12_get_capability.constprop.0
0081fe50 t tpm12_get_nvindex_permission
00820050 t tpm12_get_flags
00820100 t tpm12_init
008204f0 t tpm12_get_nvindex_size
008206f0 t tpm12_verify_creation
008209d0 t tpm12_osap.constprop.0
00820ae0 t hmac.constprop.0
00820bd0 t tpm12_seal
008217a0 t _tpm12_wrap_unseal
00822060 t tpm12_unseal
00822160 t reverse_copy_header
008221b0 t reverse_copy_pcr_selection_in
00822250 t tpm20_verify_creation
00822280 t reverse_copy_pcr_selection_out
00822330 t reverse_copy_sized_buf_in
00822380 t reverse_copy_sessions_in
00822480 t reverse_copy_public_in
00822890 t reverse_copy_sized_buf_out
00822910 t reverse_copy_sessions_out
008229a0 t reverse_copy_public_out
00822e10 t reverse_copy_creation_data_out
00822ef0 t reverse_copy_ticket_out
00822f50 t tpm20_nv_write.part.0
00823200 t tpm20_nv_write
00823290 t reverse_copy_digest_values_out
00823370 t tpm20_pcr_extend.part.0
00823680 t tpm20_pcr_extend
008236b0 t tpm20_seal
00823b30 t tpm20_nv_read.part.0
00823e60 t tpm20_nv_read
00823f00 t tpm20_pcr_reset
00824110 t tpm20_init
00824a10 t tpm20_cap_pcrs
00824b90 t _tpm20_get_random
00824d30 t tpm20_get_random
00824f00 t tpm20_hash.part.0
008257f0 t tpm20_hash
00825840 t tpm20_save_state
008259b0 t tpm20_context_load.part.0
00825c10 t tpm20_context_load
00825c40 t tpm20_context_save.part.0
00825eb0 t tpm20_context_save
00825f20 t tpm20_pcr_read.part.0
00826200 t tpm20_pcr_read
00826230 t _tpm20_nv_read_public
00826470 t tpm20_get_nvindex_permission
00826570 t tpm20_get_nvindex_size
00826650 t tpm20_context_flush
00826830 t tpm20_unseal.part.0
00826df0 t tpm20_unseal
00826e80 T get_digest_size
00826eb0 t sha256_compress
008289f0 T sha256_process
00828ad0 T sha256_init
00828b30 T sha256_done
00828c80 T sha256_buffer
00828d30 t sha512_compress
0082a000 T sha512_init
0082a0a0 T sha512_process
0082a1a0 T sha512_done
0082a310 T sha512_buffer
0082a400 T sha384_init
0082a4a0 T sha384_done
0082a500 T sha384_buffer
0082a670 t insert_after_region
0082a760 T efi_memmap_copy
0082a800 T efi_memmap_get_addr
0082a850 T efi_memmap_walk
0082a8c0 T efi_memmap_reserve
0082adb0 T efi_memmap_dump
0082ae80 T efi_memmap_get_highest_sized_ram
0082b060 T OPENSSL_cpuid_setup
0082b090 T Poly1305_ctx_size
0082b0a0 T Poly1305_Init
0082b130 T Poly1305_Update
0082b260 T Poly1305_Final
0082b340 T poly1305_init
0082b3f0 T poly1305_blocks
0082b5e0 T poly1305_emit
0082b680 t _poly1305_init_sse2
0082ba20 t _poly1305_blocks_sse2
0082c7a0 t _poly1305_emit_sse2
0082c970 T OPENSSL_ia32_cpuid
0082cb10 T OPENSSL_rdtsc
0082cb30 T OPENSSL_instrument_halt
0082cb70 T OPENSSL_far_spin
0082cba0 T OPENSSL_wipe_cpu
0082cc00 T OPENSSL_atomic_add
0082cc20 T OPENSSL_cleanse
0082cc80 T CRYPTO_memcmp
0082ccc0 T OPENSSL_instrument_bus
0082cd30 T OPENSSL_instrument_bus2
0082cdc0 T OPENSSL_ia32_rdrand_bytes
0082ce30 T OPENSSL_ia32_rdseed_bytes
0082cec0 t tpm_detect.cold
0082cec7 t efi_memmap_reserve.cold
0082cfa0 r g_loglvl_map
0082cfd0 r g_linux_cmdline_options
0082d000 r g_tboot_cmdline_options
0082d090 r CSWTCH.53
0082d140 r CSWTCH.3
0082d190 r gdt_table.0
0082d1e0 R _ctype
0082d340 r CSWTCH.58
0082d3a0 r CSWTCH.56
0082d3ec r _def_policy_da
0082d410 r _def_policy_12
0082d434 r _def_policy
0082d460 r g_policy_map
0082d68c r types.0
0082d6a0 R tboot_alg_list_count
0082d6c0 r u_vga16_sfn
0083c060 r CSWTCH.5
0083c0ac r mem_types.0
0083c100 r CSWTCH.142
0083c160 r localities.0
0083c180 R tpm_12_if_fp
0083c1cc r blob_authdata
0083c1e0 r srk_authdata
0083c360 R tpm_20_if_fp
0083c3ac r auth_str
0083c3c0 r K
0083c640 r CSWTCH.41
0084b000 D _mle_end
0084b000 D s3_flag
0084b020 D g_com_port
0084b049 d g_hide_dmar
0084b060 D post_launch_pcr18
0084b0a0 D post_launch_pcr17
0084b0e0 d sealed_post_k_state_size
0084b100 d sealed_post_k_state
0084b900 d sealed_pre_k_state_size
0084b920 d sealed_pre_k_state
0084c120 D g_post_k_s3_state
0084c140 D g_pre_k_s3_state
0084ec24 d new_cmdline
0084ec28 d g_policy
0084ec2c d last_line_cr.0
0084ec2d D g_log_targets
0084ec2e D g_log_level
0084ec40 d g_saved_s3_wakeup_page
0084fc40 D g_mb_orig_size
0084fc44 D g_ldr_ctx
0084fc48 D g_loader_ctx
0084fc60 D tboot_alg_list
0084fc80 D g_tpm
0084fdc4 D g_tpm_ver
0084fde0 d fb_buff2
0165fde0 d fb_buff1
0246fde0 d num_lines
0246fde4 d cursor_y
0246fde5 d cursor_x
0246fe00 D ssfn_errstr
0246fe20 D g_log
0246fe24 d g_saved_mtrrs
0246fe40 D g_tpr_support
0246fe44 D g_sinit
0246fe48 D g_using_da
0246fe4c d g_elog_2_1
0246fe50 d g_elog_2
0246fe54 d g_elog
0246fe60 D g_rsdp
0246fea0 D tpm2_context_saved
02470e98 D handle2048
02470e9c D hash_sizes
02471000 D _tboot_shared
02472000 B __bss_start
02472000 b bsp_stack_end
02474000 b ap_stacks_end
02474000 b bsp_stack
03474000 b ap_stacks
03474000 B idle_pg_table
03475000 B host_vmcs
03476000 B ap_vmcs
05476000 B pd_table
0547a000 B pdptr_table
0547b000 b _real_mode_entry_point
0547b008 b rsdp
0547b020 B g_pbbdf_enabled
0547b021 B g_psbdf_enabled
0547b040 b g_linux_param_values
0547b100 b g_tboot_param_values
0547b4c0 B g_min_ram
0547b4c4 b g_nr_map
0547b4c8 b g_dmar_table
0547b4cc B elf64
0547b4d0 b gdt_desc.1
0547b4d8 b boot_params
0547b4e0 b mb2_temp
0547bce0 b g_ticks_per_millisec
0547bce8 b g_calibrated
0547bcec b cr4
0547bcf0 b cr0
0547bcf4 B pcicfg_mtx
0547bd00 b buf.0
0547bd60 b nv_buf
0547cd60 b _policy_index_buf
0547d5ac b print_lock
0547d5b0 b no_err_idx
0547d5b4 B g_tpm_family
0547d5b8 b g_reg_sts
0547d5c0 B vga_type
0547d5c4 B g_vga_delay
0547d5c8 B ssfn_dst
0547d5e0 B ssfn_src
0547d600 b g_fb
0547d640 b buf.0
0548d640 b printed_host_info.0
0548d641 b printed_msg.0
0548d644 B ap_wfs_count
0548d648 b ilp_smm_mon_ctl.0
0548d650 b g_feat_ctrl_msr
0548d654 b g_cpuid_ext_feat_info
0548d658 B aps_exit_guest
0548d65c B ap_lock
0548d660 b init_done.0
0548d664 b vm_entry_ctrls
0548d668 b vm_exit_ctrls
0548d66c b proc_based_vm_exec_ctrls
0548d670 b pin_based_vm_exec_ctrls
0548d674 b vmcs_rev_id
0548d680 b first_attempt.1
0548d6a0 b rsp_buf
0548d9a0 b cmd_buf
0548dca0 B pw_session
0548dd30 b first_attempt.0
0548dd40 b rsp_buf
0548ed40 b cmd_buf
0548fd40 b efi_mmap_available
0548fd44 B OPENSSL_ia32cap_P
0548fd54 B _end
