00800000 t multiboot_header
00800010 t multiboot2_header
00800020 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 vmx_asm_vmexit_handler
00804100 T _mini_guest
00804110 t compat_mode_entry
00804135 t shutdown_entry32
008041c0 T shutdown_entry
008041f2 t compatibility_mode_far
00804200 T _txt_wakeup
00804260 T _prot_to_real
008042b7 t int_handler
008042c0 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
00806aa0 t get_option_val
00806b10 T tboot_parse_cmdline
00806b30 T linux_parse_cmdline
00806b50 T get_loglvl_prefix
00806bb0 T get_tboot_loglvl
00806c80 T get_tboot_log_targets
00806d80 T get_tboot_serial
00807020 T get_tboot_vga_delay
00807060 T get_tboot_prefer_da
008070a0 T get_tboot_min_ram
008070e0 T get_tboot_mwait
00807120 T get_tboot_call_racm
00807160 T get_tboot_call_racm_check
008071a0 T get_tboot_measure_nv
008071e0 T get_tboot_extpol
00807320 T get_linux_vga
008073f0 T get_linux_mem
008074c0 T g_cmdline
008076c0 T comc_init
00807820 T comc_puts
008078b0 t print_map
00807920 t get_highest_sized_ram.part.5
00807a30 t insert_after_region.constprop.7
00807ae0 t protect_region.part.3.constprop.6
00807f80 t e820_reserve_ram.part.4
00808320 T get_e820_copy
00808330 T get_nr_map
00808340 T copy_e820_map
00808580 T e820_protect_region
008085f0 T e820_check_region
00808b80 T e820_reserve_ram
00808bd0 T print_e820_map
00808be0 T get_ram_ranges
00809020 T get_highest_sized_ram
00809090 T get_efi_memmap
008091f0 T is_elf_image
00809380 T get_elf_image_range
00809470 T expand_elf_image
008095f0 T jump_elf_image
00809610 T are_hashes_equal
008096e0 T hash_buffer
00809790 T extend_hash
00809940 T print_hash
00809a00 T copy_hash
00809ab0 T index
00809af0 t extend_pcrs
00809b80 t verify_sealed_data
00809d00 t measure_memory_integrity
0080a130 t seal_data.constprop.0
0080a250 T seal_pre_k_state
0080a4e0 T verify_integrity
0080a7a0 T seal_post_k_state
0080a8d0 T expand_linux_image
0080b1a0 T jump_linux_image
0080b1f0 t remove_mb2_tag.isra.1
0080b2a0 t grow_mb2_tag.isra.2
0080b390 T get_module
0080b460 T get_module_cmd
0080b4b0 T get_first_module_cmd
0080b510 T get_cmdline
0080b580 T have_loader_memlimits
0080b5f0 T get_loader_mem_lower
0080b660 T get_loader_mem_upper
0080b6d0 T get_module_count
0080b770 T verify_loader_context
0080b7d0 T is_kernel_linux
0080b810 t remove_module
0080bb10 t find_module
0080bc40 T find_module_by_uuid
0080bc70 T find_module_by_file_signature
0080bcd0 T find_lcp_module
0080bdf0 T remove_txt_modules
0080bef0 T verify_modules
0080c020 T have_loader_memmap
0080c0a0 T get_loader_memmap
0080c100 T get_loader_memmap_length
0080c180 T get_loader_ctx_end
0080c320 T find_platform_racm
0080c490 T find_platform_sinit_module
0080c5f0 T replace_e820_map
0080c740 T print_loader_ctx
0080c850 T get_loader_rsdp
0080c900 T get_loader_efi_ptr
0080c9c0 T is_loader_launch_efi
0080ca20 T launch_kernel
0080d9d0 T load_framebuffer_info
0080daa0 T determine_loader_type
0080db70 T memcmp
0080dbc0 T memcpy
0080dda0 T print_hex
0080de20 T delay
0080df40 T mtx_init
0080df50 T mtx_enter
0080df70 T mtx_leave
0080df80 t get_pde
0080e000 T map_pages_to_tboot
0080e080 t map_tboot_pages
0080e130 T destroy_tboot_mapping
0080e1b0 T enable_paging
0080e290 T disable_paging
0080e2b0 t pci_cfgenable.part.0
0080e340 T pcireg_cfgread
0080e3d0 T pcireg_cfgwrite
0080e490 t read_policy_from_tpm
0080e5d0 t unwrap_lcp_policy
0080e820 t is_hash_in_policy_entry
0080e940 t verify_module
0080efa0 T set_policy
00810870 T hash_policy
00810990 T apply_policy
00810a80 T verify_all_modules
00810fa0 T verify_all_nvindices
008114f0 t memlog_write
00811680 T printk_init
00811840 T printk
008119e0 T rijndaelKeySetupEnc
00811de0 T rijndaelKeySetupDec
00812010 T rijndaelEncrypt
008124c0 T rijndael_set_key_enc_only
00812510 T rijndael_set_key
00812590 T rijndael_decrypt
00812a40 T rijndael_encrypt
00812a70 t sha1_step
00812fd0 T sha1_init
00813010 T sha1_pad
00813230 T sha1_loop
008132d0 T sha1_result
00813380 T sha1_buffer
00813420 T strcmp
00813450 T strlen
00813470 T strncmp
008134c0 T strncpy
00813510 T strtoul
00813710 T print_tb_error_msg
008138e0 T read_tb_error_code
00813990 T write_tb_error_code
00813a20 T was_last_boot_error
00813a80 t shutdown_system
00813bb0 T get_tboot_mem_end
00813bc0 T cpu_wakeup
00813bf0 T startup_rlps
00813c40 T launch_racm
00813d20 T check_racm_result
00813d40 T s3_launch
00813ec0 T begin_launch
008147f0 T shutdown
00814b40 T handle_exception
00814b60 t tpm_get_burst_count
00814bc0 t tpm_send_cmd_ready_status
00814c30 T tpm_validate_locality
00814c80 T tpm_validate_locality_crb
00814d20 T tpm_wait_cmd_ready
00814eb0 T tpm_submit_cmd
00815300 T tpm_submit_cmd_crb
00815700 T release_locality
00815790 T tpm_relinquish_locality_crb
00815850 T is_tpm_crb
008158e0 T prepare_tpm
00815900 T tpm_request_locality_crb
008159b0 T tpm_workaround_crb
00815a70 T tpm_detect
00815c70 T tpm_print
00815cf0 T vga_init
00815d50 T vga_puts
00815f00 t l3hash
00816230 t poly_step_func.isra.0
00816400 T vhash_abort
00816440 T vhash_update
008168d0 T xvhash
00816c60 T vhash
00817600 T vmac
00817720 T vmac_set_key
00817930 t write_string_to_buffer
00817a30 t int2str.constprop.0
00817cc0 T vscnprintf
00818140 T snprintf
00818170 t _LZ_WriteVarSize
008181d0 T LZ_Compress
00818490 T LZ_Uncompress
008185d0 t get_acmod_info_table
008186b0 t get_acmod_chipset_list
008187b0 t get_acmod_processor_list
008188b0 t is_acmod
00818b00 T get_tpm_info_list
00818bf0 T print_txt_caps
00818d00 t print_acm_hdr
00819380 T get_supported_os_sinit_data_ver
008193b0 T get_sinit_capabilities
008193f0 T is_racm_acmod
00819470 T is_sinit_acmod
008194b0 T does_acmod_match_platform
008197c0 T get_bios_sinit
00819840 T copy_racm
008198c0 T copy_sinit
00819a30 T verify_racm
00819bc0 T verify_IA32_se_svn_status
00819d40 T verify_acmod
00819f90 T txt_get_error
0081a1f0 T txt_get_racm_error
0081a3e0 t verify_ext_data_elts
0081a690 T print_event
0081a720 T print_event_2
0081a870 t print_ext_data_elts
0081ad00 T verify_bios_data
0081b030 T calc_os_sinit_data_size
0081b100 T print_os_sinit_data
0081b2a0 T verify_txt_heap
0081ba10 t print_mtrrs
0081baf0 t get_maxphyaddr_mask.part.0
0081bb60 t get_page_type
0081bca0 t get_region_type
0081bd20 T save_mtrrs
0081bdd0 T validate_mtrrs
0081c4d0 T restore_mtrrs
0081c560 T set_mem_type
0081c860 T set_mtrrs_for_acmod
0081c920 T set_all_mtrrs
0081c960 t init_evtlog_desc
0081ca90 t init_event_log
0081cb00 T evtlog_append_tpm12
0081cb90 T dump_event_2
0081cd60 T evtlog_append_tpm20
0081ce70 T evtlog_append
0081cf20 T txt_is_launched
0081cf30 T txt_launch_environment
0081d760 T txt_s3_launch_environment
0081d820 T txt_launch_racm
0081d940 T txt_post_launch
0081dca0 T ap_wait
0081dda0 T txt_cpu_wakeup
0081df00 T txt_protect_mem_regions
0081e0f0 T txt_shutdown
0081e210 T txt_is_powercycle_required
0081e220 T get_parameters
0081e3b0 T txt_prepare_cpu
0081e620 t g_mle_hdr
0081e660 t print_mseg_hdr
0081e720 T use_mwait
0081e740 T supports_txt
0081e9a0 T set_vtd_pmrs
0081eab0 T txt_verify_platform
0081eb20 T txt_post_launch_verify_platform
0081ef20 T verify_e820_map
0081f120 T verify_stm
0081f360 t stop_vmx
0081f3e0 T vmx_vmexit_handler
0081f580 T handle_init_sipi_sipi
0081fd20 T force_aps_exit
0081fd30 t _tpm12_submit_cmd
0081fed0 t tpm12_check
0081ff10 t _tpm12_pcr_extend
00820030 t tpm12_cap_pcrs
00820160 t tpm12_get_random
00820380 t tpm12_nv_write_value
008204f0 t tpm12_nv_read_value
008206d0 t tpm12_pcr_reset
008207b0 t tpm12_pcr_read
008208c0 t tpm12_save_state
008209a0 t check_sealed_data.part.0
008209e0 t tpm12_pcr_extend
00820a50 t tpm12_osap.part.2
00820b30 t tpm12_get_capability.constprop.5
00820ca0 t tpm12_get_flags
00820d80 t tpm12_init
00821140 t tpm12_get_nvindex_size
00821330 t tpm12_get_nvindex_permission
00821520 t tpm12_verify_creation
008217c0 t hmac.constprop.11
008218a0 t _tpm12_wrap_unseal
00822140 t tpm12_unseal
00822230 t tpm12_seal
00822d40 t reverse_copy_header
00822db0 t reverse_copy_pcr_selection_in
00822e60 t tpm20_verify_creation
00822e90 t reverse_copy_pcr_selection_out
00822f40 t reverse_copy_sized_buf_in.part.1
00822f80 t reverse_copy_sessions_in
00823090 t reverse_copy_public_in
00823500 t reverse_copy_sized_buf_out.part.2
00823540 t reverse_copy_sessions_out
008235f0 t tpm20_pcr_reset
00823850 t reverse_copy_public_out
00823ca0 t reverse_copy_creation_data_out
00823d60 t reverse_copy_ticket_out
00823de0 t _tpm20_get_random
00823f70 t tpm20_get_nvindex_permission
00823fb0 t tpm20_get_nvindex_size
008242d0 t tpm20_get_random
00824480 t tpm20_unseal.part.6
00824a80 t tpm20_unseal
00824b10 t tpm20_nv_write.part.7
00824e50 t tpm20_nv_write
00824ee0 t tpm20_nv_read.part.8
00825230 t tpm20_nv_read
008252d0 t tpm20_pcr_read.part.9
008255b0 t tpm20_pcr_read
008255e0 t reverse_copy_digest_values_out
008256c0 t tpm20_pcr_extend.part.12
00825a40 t tpm20_pcr_extend
00825a70 t tpm20_cap_pcrs
00825be0 t tpm20_seal
00826090 t tpm20_save_state
00826200 t tpm20_init
00826b90 t tpm20_hash.part.11
00827570 t tpm20_hash
008275f0 T get_digest_size
00827620 t sha256_compress
00829150 T sha256_process
00829240 T sha256_init
008292a0 T sha256_done
00829440 T sha256_buffer
008294de t parse_pci_bdf
008295e0 r g_loglvl_map
00829610 r g_linux_cmdline_options
00829640 r g_tboot_cmdline_options
008296a0 r gdt_table.1700
00829700 R _ctype
00829844 r _def_policy_da
00829868 r _def_policy
008298a0 r g_policy_map
00829a60 r rcon
00829aa0 r Td4
00829ea0 r Td3
0082a2a0 r Td2
0082a6a0 r Td1
0082aaa0 r Td0
0082aea0 r Te4
0082b2a0 r Te3
0082b6a0 r Te2
0082baa0 r Te1
0082bea0 r Te0
0082c2e4 r types.3172
0082c2f8 R mpoly
0082c300 R m64
0082c308 R m63
0082c310 R m62
0082c318 R p64
0082c50c r mem_types.2431
0082c538 r localities.1976
0082c540 r blob_authdata
0082c554 r srk_authdata
0082c6b8 r auth_str
00839000 D _mle_end
00839000 D s3_flag
00839004 d g_hide_dmar
00839020 D g_com_port
00839060 D post_launch_pcr18
008390a0 D post_launch_pcr17
008390d0 d sealed_post_k_state_size
008390e0 d sealed_post_k_state
008398e0 d sealed_pre_k_state_size
00839900 d sealed_pre_k_state
0083a100 D g_post_k_s3_state
0083a120 D g_pre_k_s3_state
0083c1f4 d g_policy
0083c1f8 d last_line_cr.1222
0083c1fc D g_log
0083c200 D g_log_targets
0083c201 D g_log_level
0083c220 d g_saved_s3_wakeup_page
0083d220 D g_mb_orig_size
0083d224 D g_ldr_ctx
0083d228 D g_loader_ctx
0083d230 D tboot_alg_list
0083d234 D g_tpm
0083d238 d num_lines
0083d23c d cursor_y
0083d23d d cursor_x
0083d240 d g_saved_mtrrs
0083d260 D g_sinit
0083d264 D g_using_da
0083d268 d g_elog_2
0083d26c d g_elog
0083d280 D g_rsdp
0083d2c0 D tpm_12_if
0083d460 D tpm_20_if
0083d5e4 d handle2048
0083d5e8 D hash_sizes
0083e000 D _tboot_shared
0083f000 B __bss_start
0083f000 b bsp_stack_end
00841000 b ap_stacks_end
00841000 b bsp_stack
00941000 b ap_stacks
00941000 B idle_pg_table
00942000 B host_vmcs
00943000 B ap_vmcs
00b43000 B pd_table
00b47000 B pdptr_table
00b48000 b _real_mode_entry_point
00b48008 b g_dmar_table
00b4800c b rsdp
00b48020 B g_pbbdf_enabled
00b48021 B g_psbdf_enabled
00b48040 b g_linux_param_values
00b48100 b g_tboot_param_values
00b483c0 B g_min_ram
00b483c4 b efi_memmap_size
00b483c8 b efi_memmap_addr
00b483cc b g_nr_map
00b483d0 B elf64
00b483d4 b gdt_desc.1704
00b483dc b boot_params
00b483e0 b mb2_temp
00b48be0 b g_ticks_per_millisec
00b48be8 b g_calibrated
00b48bec b cr4
00b48bf0 b cr0
00b48bf4 B pcicfg_mtx
00b48c00 b buf.2843
00b48c40 b buf.1922
00b48c60 b buf.1930
00b48ca0 b buf.1299
00b48cc0 b buf.1926
00b48ce0 b nv_buf
00b49ce0 b _policy_index_buf
00b4a340 b buf.1198
00b52340 b print_lock
00b52344 b no_err_idx
00b52348 B g_tpm_family
00b5234c b g_reg_sts
00b52350 B g_vga_delay
00b52351 b printed_host_info.2320
00b52352 b printed_msg.2386
00b52354 B ap_wfs_count
00b52358 b ilp_smm_mon_ctl.2504
00b52360 b g_feat_ctrl_msr
00b52364 b g_cpuid_ext_feat_info
00b52368 B aps_exit_guest
00b5236c B ap_lock
00b52370 b init_done.1668
00b52374 b vm_entry_ctrls
00b52378 b vm_exit_ctrls
00b5237c b proc_based_vm_exec_ctrls
00b52380 b pin_based_vm_exec_ctrls
00b52384 b vmcs_rev_id
00b523a0 b first_attempt.2205
00b523c0 b rsp_buf
00b526c0 b cmd_buf
00b529c0 B pw_session
00b52a50 b first_attempt.3170
00b52a60 b rsp_buf
00b53a60 b cmd_buf
00b54a60 B _end
