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
0081cef0 T txt_protect_mem_regions
0081d130 T txt_shutdown
0081d250 T txt_is_powercycle_required
0081d260 T get_parameters
0081d3f0 T txt_prepare_cpu
0081d640 t g_mle_hdr
0081d680 t print_mseg_hdr
0081d740 t get_dma_protect_info
0081d830 T use_mwait
0081d850 T supports_txt
0081dab0 T set_dma_protection
0081dc70 t verify_dma_protection
0081e280 T txt_verify_platform
0081e320 T txt_post_launch_verify_platform
0081e380 T verify_e820_map
0081e590 T verify_stm
0081e7d0 t stop_vmx
0081e850 T vmx_vmexit_handler
0081e9e0 T handle_init_sipi_sipi
0081f190 T force_aps_exit
0081f1a0 t _tpm12_submit_cmd
0081f300 t tpm12_check
0081f340 t _tpm12_pcr_extend
0081f410 t tpm12_cap_pcrs
0081f550 t tpm12_get_random
0081f780 t tpm12_nv_write_value
0081f8d0 t tpm12_nv_read_value
0081fa80 t tpm12_pcr_reset
0081fb60 t tpm12_pcr_read
0081fc70 t tpm12_pcr_extend
0081fcf0 t tpm12_save_state
0081fde0 t tpm12_get_capability.constprop.0
0081ff20 t tpm12_get_nvindex_permission
00820120 t tpm12_get_flags
008201d0 t tpm12_init
008205c0 t tpm12_get_nvindex_size
008207c0 t tpm12_verify_creation
00820aa0 t tpm12_osap.constprop.0
00820bb0 t hmac.constprop.0
00820ca0 t tpm12_seal
00821870 t _tpm12_wrap_unseal
00822130 t tpm12_unseal
00822230 t reverse_copy_header
00822280 t reverse_copy_pcr_selection_in
00822320 t tpm20_verify_creation
00822350 t reverse_copy_pcr_selection_out
00822400 t reverse_copy_sized_buf_in
00822450 t reverse_copy_sessions_in
00822550 t reverse_copy_public_in
00822960 t reverse_copy_sized_buf_out
008229e0 t reverse_copy_sessions_out
00822a70 t reverse_copy_public_out
00822ee0 t reverse_copy_creation_data_out
00822fc0 t reverse_copy_ticket_out
00823020 t tpm20_nv_write.part.0
008232d0 t tpm20_nv_write
00823360 t reverse_copy_digest_values_out
00823440 t tpm20_pcr_extend.part.0
00823750 t tpm20_pcr_extend
00823780 t tpm20_seal
00823c00 t tpm20_nv_read.part.0
00823f30 t tpm20_nv_read
00823fd0 t tpm20_pcr_reset
008241e0 t tpm20_init
00824ae0 t tpm20_cap_pcrs
00824c60 t _tpm20_get_random
00824e00 t tpm20_get_random
00824fd0 t tpm20_hash.part.0
008258c0 t tpm20_hash
00825910 t tpm20_save_state
00825a80 t tpm20_context_load.part.0
00825ce0 t tpm20_context_load
00825d10 t tpm20_context_save.part.0
00825f80 t tpm20_context_save
00825ff0 t tpm20_pcr_read.part.0
008262d0 t tpm20_pcr_read
00826300 t _tpm20_nv_read_public
00826540 t tpm20_get_nvindex_permission
00826640 t tpm20_get_nvindex_size
00826720 t tpm20_context_flush
00826900 t tpm20_unseal.part.0
00826ec0 t tpm20_unseal
00826f50 T get_digest_size
00826f80 t sha256_compress
00828ac0 T sha256_process
00828ba0 T sha256_init
00828c00 T sha256_done
00828d50 T sha256_buffer
00828e00 t sha512_compress
0082a0d0 T sha512_init
0082a170 T sha512_process
0082a270 T sha512_done
0082a3e0 T sha512_buffer
0082a4d0 T sha384_init
0082a570 T sha384_done
0082a5d0 T sha384_buffer
0082a740 t insert_after_region
0082a830 T efi_memmap_copy
0082a8d0 T efi_memmap_get_addr
0082a920 T efi_memmap_walk
0082a990 T efi_memmap_reserve
0082ae80 T efi_memmap_dump
0082af50 T efi_memmap_get_highest_sized_ram
0082b130 T OPENSSL_cpuid_setup
0082b160 T Poly1305_ctx_size
0082b170 T Poly1305_Init
0082b200 T Poly1305_Update
0082b330 T Poly1305_Final
0082b400 T poly1305_init
0082b4b0 T poly1305_blocks
0082b6a0 T poly1305_emit
0082b740 t _poly1305_init_sse2
0082bae0 t _poly1305_blocks_sse2
0082c860 t _poly1305_emit_sse2
0082ca30 T OPENSSL_ia32_cpuid
0082cbd0 T OPENSSL_rdtsc
0082cbf0 T OPENSSL_instrument_halt
0082cc30 T OPENSSL_far_spin
0082cc60 T OPENSSL_wipe_cpu
0082ccc0 T OPENSSL_atomic_add
0082cce0 T OPENSSL_cleanse
0082cd40 T CRYPTO_memcmp
0082cd80 T OPENSSL_instrument_bus
0082cdf0 T OPENSSL_instrument_bus2
0082ce80 T OPENSSL_ia32_rdrand_bytes
0082cef0 T OPENSSL_ia32_rdseed_bytes
0082cf7f t tpm_detect.cold
0082cf86 t efi_memmap_reserve.cold
0082d060 r g_loglvl_map
0082d090 r g_linux_cmdline_options
0082d0c0 r g_tboot_cmdline_options
0082d150 r CSWTCH.53
0082d200 r CSWTCH.3
0082d250 r gdt_table.0
0082d2a0 R _ctype
0082d400 r CSWTCH.58
0082d460 r CSWTCH.56
0082d4ac r _def_policy_da
0082d4d0 r _def_policy_12
0082d4f4 r _def_policy
0082d520 r g_policy_map
0082d74c r types.0
0082d760 R tboot_alg_list_count
0082d780 r u_vga16_sfn
0083c120 r CSWTCH.5
0083c16c r mem_types.0
0083c1c0 r CSWTCH.142
0083c220 r localities.0
0083c240 R tpm_12_if_fp
0083c28c r blob_authdata
0083c2a0 r srk_authdata
0083c420 R tpm_20_if_fp
0083c46c r auth_str
0083c480 r K
0083c700 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
