00800010 t multiboot2_header
00800020 t multiboot2_header_end
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
008040f0 T vmx_asm_vmexit_handler
00804100 T _mini_guest
00804110 t compat_mode_entry
0080412a t shutdown_entry32
008041b0 T shutdown_entry
008041e2 t compatibility_mode_far
008041f0 T _txt_wakeup
00804250 T _prot_to_real
008042a7 t int_handler
008042b0 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
00806250 t read_from_reg
00806350 t find_rsdp_in_range
008063f0 t find_rsdp
00806480 t find_table
008065a0 T get_rsdp
008065e0 T save_vtd_dmar_table
00806610 T restore_vtd_dmar_table
008066a0 T remove_vtd_dmar_table
00806700 T get_madt_apic_base
00806730 T get_acpi_ioapic_table
008067b0 T get_acpi_mcfg_table
008067c0 T machine_sleep
00806890 T set_s3_resume_vector
008068e0 t cmdline_parse
00806a90 t get_option_val
00806b00 T tboot_parse_cmdline
00806b20 T linux_parse_cmdline
00806b40 T get_loglvl_prefix
00806ba0 T get_tboot_loglvl
00806c70 T get_tboot_log_targets
00806d70 T get_tboot_serial
00807010 T get_tboot_vga_delay
00807050 T get_tboot_prefer_da
00807090 T get_tboot_min_ram
008070d0 T get_tboot_mwait
00807110 T get_tboot_call_racm
00807150 T get_tboot_call_racm_check
00807190 T get_tboot_measure_nv
008071d0 T get_tboot_extpol
00807310 T get_linux_vga
008073e0 T get_linux_mem
008074d0 T skip_filename
00807540 T g_cmdline
00807740 T comc_init
00807890 T comc_puts
00807920 t print_map
00807990 t get_highest_sized_ram.part.5
00807aa0 t insert_after_region.constprop.7
00807b50 t protect_region.part.3.constprop.6
00808000 t e820_reserve_ram.part.4
008083c0 T get_e820_copy
008083d0 T get_nr_map
008083e0 T copy_e820_map
00808620 T e820_protect_region
00808690 T e820_check_region
00808c00 T e820_reserve_ram
00808c50 T print_e820_map
00808c60 T get_ram_ranges
00809080 T get_highest_sized_ram
008090f0 T get_efi_memmap
00809290 T is_elf_image
00809390 T expand_elf_image
00809460 T jump_elf_image
00809480 T are_hashes_equal
00809550 T hash_buffer
00809600 T extend_hash
008097b0 T print_hash
00809870 T copy_hash
00809920 T index
00809960 t extend_pcrs
008099f0 t verify_sealed_data
00809b70 t measure_memory_integrity
00809fd0 t seal_data.constprop.0
0080a0f0 T seal_pre_k_state
0080a370 T verify_integrity
0080a620 T seal_post_k_state
0080a750 T expand_linux_image
0080b030 T jump_linux_image
0080b080 t remove_mb2_tag.isra.1
0080b130 t grow_mb2_tag.isra.2
0080b220 T get_module
0080b2e0 T get_module_cmd
0080b330 T get_first_module_cmd
0080b390 T get_cmdline
0080b3f0 T have_loader_memlimits
0080b460 T get_loader_mem_lower
0080b4c0 T get_loader_mem_upper
0080b520 T get_module_count
0080b5b0 T verify_loader_context
0080b610 T is_kernel_linux
0080b650 t remove_module
0080b930 t find_module
0080ba60 T find_module_by_uuid
0080ba90 T find_module_by_file_signature
0080baf0 T find_lcp_module
0080bc10 T remove_txt_modules
0080bd10 T verify_modules
0080be40 T have_loader_memmap
0080beb0 T get_loader_memmap
0080bf10 T get_loader_memmap_length
0080bf70 T get_loader_ctx_end
0080c110 T find_platform_racm
0080c280 T find_platform_sinit_module
0080c3e0 T replace_e820_map
0080c540 T print_loader_ctx
0080c650 T get_loader_rsdp
0080c6d0 T get_loader_efi_ptr
0080c790 T is_loader_launch_efi
0080c7f0 T launch_kernel
0080d520 T load_framebuffer_info
0080d5e0 T determine_loader_type
0080d680 T memcmp
0080d6d0 T memcpy
0080d8b0 T print_hex
0080d930 T delay
0080da60 T mtx_init
0080da70 T mtx_enter
0080da90 T mtx_leave
0080daa0 t get_pde
0080db20 T map_pages_to_tboot
0080dba0 t map_tboot_pages
0080dc50 T destroy_tboot_mapping
0080dcd0 T enable_paging
0080ddb0 T disable_paging
0080ddd0 t pci_cfgenable.part.0
0080de60 T pcireg_cfgread
0080def0 T pcireg_cfgwrite
0080dfb0 t read_policy_from_tpm
0080e0f0 t unwrap_lcp_policy
0080e340 t is_hash_in_policy_entry
0080e470 t verify_module
0080ea90 T set_policy
008103f0 T hash_policy
00810510 T apply_policy
00810600 T verify_all_modules
00810b00 T verify_all_nvindices
00811030 t memlog_write
008110c0 T printk_init
008111f0 T printk
00811390 T rijndaelKeySetupEnc
008117c0 T rijndaelKeySetupDec
008119f0 T rijndaelEncrypt
00811ea0 T rijndael_set_key_enc_only
00811ef0 T rijndael_set_key
00811f70 T rijndael_decrypt
00812420 T rijndael_encrypt
00812450 t sha1_step
008129b0 T sha1_init
008129f0 T sha1_pad
00812c10 T sha1_loop
00812cb0 T sha1_result
00812d60 T sha1_buffer
00812e00 T strcmp
00812e30 T strlen
00812e50 T strncmp
00812ea0 T strncpy
00812ef0 T strtoul
008130e0 T print_tb_error_msg
008132b0 T read_tb_error_code
00813360 T write_tb_error_code
008133f0 T was_last_boot_error
00813440 t shutdown_system
00813570 T get_tboot_mem_end
00813580 T cpu_wakeup
008135b0 T startup_rlps
00813600 T launch_racm
008136e0 T check_racm_result
00813700 T s3_launch
00813870 T begin_launch
008140d0 T shutdown
00814350 T handle_exception
00814370 T tpm_validate_locality
008143c0 T tpm_submit_cmd
00814860 T release_locality
008148f0 T prepare_tpm
00814910 T tpm_detect
008149f0 T tpm_print
00814a70 T vga_init
00814ad0 T vga_puts
00814c70 t l3hash
00814fa0 t poly_step_func.isra.0
00815170 T vhash_abort
008151b0 T vhash_update
00815650 T xvhash
008159d0 T vhash
00816380 T vmac
00816490 T vmac_set_key
008166a0 t write_string_to_buffer
00816790 t int2str.constprop.1
00816a10 t vscnprintf.part.0
00816e70 T vscnprintf
00816ee0 T snprintf
00816f40 t get_acmod_info_table
00817010 t get_acmod_chipset_list
00817120 t get_acmod_processor_list
00817230 t is_acmod
00817480 T get_tpm_info_list
00817570 T print_txt_caps
00817680 t print_acm_hdr
00817cd0 T get_supported_os_sinit_data_ver
00817d00 T get_sinit_capabilities
00817d40 T is_racm_acmod
00817dc0 T is_sinit_acmod
00817e00 T does_acmod_match_platform
00818100 T get_bios_sinit
00818180 T copy_racm
00818200 T copy_sinit
00818370 T verify_racm
00818500 T verify_acmod
00818750 T txt_get_error
008189a0 T txt_get_racm_error
00818b90 t verify_ext_data_elts
00818e30 T print_event
00818ec0 T print_event_2
00819020 t print_ext_data_elts
00819480 T verify_bios_data
008197b0 T calc_os_sinit_data_size
00819860 T print_os_sinit_data
00819a00 T verify_txt_heap
0081a190 t print_mtrrs
0081a270 t get_maxphyaddr_mask.part.0
0081a2e0 t get_page_type
0081a420 t get_region_type
0081a4a0 T save_mtrrs
0081a550 T validate_mtrrs
0081ac60 T restore_mtrrs
0081acf0 T set_mem_type
0081ae80 T set_mtrrs_for_acmod
0081af40 T set_all_mtrrs
0081af80 t init_evtlog_desc
0081b0e0 t init_event_log
0081b150 T evtlog_append_tpm12
0081b1d0 T dump_event_2
0081b340 T evtlog_append_tpm20
0081b460 T evtlog_append
0081b510 T txt_is_launched
0081b520 T txt_launch_environment
0081bd20 T txt_s3_launch_environment
0081bde0 T txt_launch_racm
0081bf00 T txt_post_launch
0081c260 T ap_wait
0081c360 T txt_cpu_wakeup
0081c4c0 T txt_protect_mem_regions
0081c6b0 T txt_shutdown
0081c7d0 T txt_is_powercycle_required
0081c7e0 T get_parameters
0081c970 T txt_prepare_cpu
0081cbe0 t g_mle_hdr
0081cc20 t print_mseg_hdr
0081cce0 T use_mwait
0081cd00 T supports_txt
0081cf30 T set_vtd_pmrs
0081d040 T txt_verify_platform
0081d0a0 T txt_post_launch_verify_platform
0081d4a0 T verify_e820_map
0081d6d0 T verify_stm
0081d910 t stop_vmx
0081d990 T vmx_vmexit_handler
0081db30 T handle_init_sipi_sipi
0081e2d0 T force_aps_exit
0081e2e0 t _tpm12_submit_cmd
0081e480 t tpm12_check
0081e4c0 t _tpm12_pcr_extend
0081e5d0 t tpm12_cap_pcrs
0081e700 t tpm12_get_random
0081e920 t tpm12_nv_write_value
0081ea80 t tpm12_nv_read_value
0081ec50 t tpm12_pcr_reset
0081ed30 t tpm12_pcr_read
0081ee40 t tpm12_save_state
0081ef20 t check_sealed_data.part.0
0081ef60 t tpm12_pcr_extend
0081efd0 t tpm12_osap.part.2
0081f0b0 t tpm12_get_capability.constprop.5
0081f220 t tpm12_get_flags
0081f300 t tpm12_init
0081f6b0 t tpm12_get_nvindex_size
0081f8a0 t tpm12_get_nvindex_permission
0081fa90 t tpm12_verify_creation
0081fd30 t hmac.constprop.11
0081fe10 t _tpm12_wrap_unseal
008206b0 t tpm12_unseal
00820790 t tpm12_seal
008212c0 t reverse_copy_header
00821330 t reverse_copy_pcr_selection_in
008213d0 t tpm20_verify_creation
00821400 t reverse_copy_pcr_selection_out
008214a0 t reverse_copy_sized_buf_in.part.1
008214e0 t reverse_copy_sessions_in
008215f0 t reverse_copy_public_in
00821a60 t reverse_copy_sized_buf_out.part.2
00821aa0 t reverse_copy_sessions_out
00821b50 t tpm20_pcr_reset
00821d60 t reverse_copy_public_out
008221c0 t reverse_copy_creation_data_out
00822280 t reverse_copy_ticket_out
008222e0 t _tpm20_get_random
00822400 t tpm20_get_nvindex_permission
00822440 t tpm20_get_nvindex_size
008226f0 t tpm20_get_random
008228a0 t tpm20_unseal.part.6
00822de0 t tpm20_unseal
00822e70 t tpm20_nv_write.part.7
00823140 t tpm20_nv_write
008231d0 t tpm20_nv_read.part.8
008234b0 t tpm20_nv_read
00823550 t tpm20_pcr_read.part.9
008237d0 t tpm20_pcr_read
00823800 t reverse_copy_digest_values_out
008238d0 t tpm20_pcr_extend.part.12
00823c00 t tpm20_pcr_extend
00823c30 t tpm20_cap_pcrs
00823da0 t tpm20_seal
008241e0 t tpm20_save_state
008242f0 t tpm20_init
00824b10 t tpm20_hash.part.11
00825390 t tpm20_hash
00825410 T get_digest_size
00825440 t sha256_compress
00826ee0 T sha256_process
00826fd0 T sha256_init
00827030 T sha256_done
008271a0 T sha256_buffer
0082723e T _etext
0082723e t parse_pci_bdf
00827340 r g_loglvl_map
00827370 r g_linux_cmdline_options
008273a0 r g_tboot_cmdline_options
00827400 r gdt_table.1752
00827460 R _ctype
008275a4 r _def_policy_da
008275c8 r _def_policy
00827600 r g_policy_map
008277c0 r rcon
00827800 r Td4
00827c00 r Td3
00828000 r Td2
00828400 r Td1
00828800 r Td0
00828c00 r Te4
00829000 r Te3
00829400 r Te2
00829800 r Te1
00829c00 r Te0
0082a044 r types.3041
0082a058 R mpoly
0082a060 R m64
0082a068 R m63
0082a070 R m62
0082a078 R p64
0082a288 r mem_types.2318
0082a2b4 r localities.1850
0082a2bc r blob_authdata
0082a2d0 r srk_authdata
0082a434 r auth_str
00836000 D _mle_end
00836000 D s3_flag
00836004 d g_hide_dmar
00836020 D g_com_port
00836060 D post_launch_pcr18
008360a0 D post_launch_pcr17
008360d0 d sealed_post_k_state_size
008360e0 d sealed_post_k_state
008368e0 d sealed_pre_k_state_size
00836900 d sealed_pre_k_state
00837100 D g_post_k_s3_state
00837120 D g_pre_k_s3_state
008391f4 d g_policy
008391f8 d last_line_cr.1257
008391fc D g_log
00839200 D g_log_targets
00839201 D g_log_level
00839220 d g_saved_s3_wakeup_page
0083a220 D g_mb_orig_size
0083a224 D g_ldr_ctx
0083a228 D g_loader_ctx
0083a230 D tboot_alg_list
0083a234 D g_tpm
0083a238 d num_lines
0083a23c d cursor_y
0083a23d d cursor_x
0083a240 d g_saved_mtrrs
0083a244 D g_sinit
0083a248 D g_using_da
0083a24c d g_elog_2
0083a250 d g_elog
0083a260 D tpm_12_if
0083a3e0 D tpm_20_if
0083a560 d handle2048
0083a564 D hash_sizes
0083b000 D _tboot_shared
0083c000 B __bss_start
0083c000 b bsp_stack_end
0083d000 b ap_stacks_end
0083d000 b bsp_stack
008bd000 b ap_stacks
008bd000 B idle_pg_table
008be000 B host_vmcs
008bf000 B ap_vmcs
00abf000 B pd_table
00ac3000 B pdptr_table
00ac4000 b _real_mode_entry_point
00ac4008 b g_dmar_table
00ac400c b rsdp
00ac4020 B g_pbbdf_enabled
00ac4021 B g_psbdf_enabled
00ac4040 b g_linux_param_values
00ac4100 b g_tboot_param_values
00ac43c0 B g_min_ram
00ac43c4 b efi_memmap_size
00ac43c8 b efi_memmap_addr
00ac43cc b g_nr_map
00ac43d0 b gdt_desc.1756
00ac43d8 b boot_params
00ac43e0 b mb2_temp
00ac4be0 b g_ticks_per_millisec
00ac4be8 b g_calibrated
00ac4bec b cr4
00ac4bf0 b cr0
00ac4bf4 B pcicfg_mtx
00ac4c00 b buf.2707
00ac4c40 b buf.1793
00ac4c60 b buf.1801
00ac4ca0 b buf.1357
00ac4cc0 b buf.1797
00ac4ce0 b nv_buf
00ac5ce0 b _policy_index_buf
00ac632c b print_lock
00ac6330 b no_err_idx
00ac6331 B g_vga_delay
00ac6332 b printed_host_info.1914
00ac6333 b printed_msg.2253
00ac6334 B ap_wfs_count
00ac6338 b ilp_smm_mon_ctl.2557
00ac6340 b g_feat_ctrl_msr
00ac6344 b g_cpuid_ext_feat_info
00ac6348 B aps_exit_guest
00ac634c B ap_lock
00ac6350 b init_done.1723
00ac6354 b vm_entry_ctrls
00ac6358 b vm_exit_ctrls
00ac635c b proc_based_vm_exec_ctrls
00ac6360 b pin_based_vm_exec_ctrls
00ac6364 b vmcs_rev_id
00ac6380 b first_attempt.2079
00ac63a0 b rsp_buf
00ac66a0 b cmd_buf
00ac69a0 B pw_session
00ac6a30 b first_attempt.2945
00ac6a40 b rsp_buf
00ac7a40 b cmd_buf
00ac8a40 B _end
