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
00806170 t write_to_reg
008062e0 t read_from_reg
00806400 t find_rsdp_in_range
008064d0 t find_rsdp
00806560 t find_table
008066c0 T get_rsdp
00806710 T save_vtd_dmar_table
00806750 T restore_vtd_dmar_table
00806800 T remove_vtd_dmar_table
00806870 T get_madt_apic_base
008068c0 T get_acpi_ioapic_table
00806960 T get_acpi_mcfg_table
00806980 T machine_sleep
00806a60 T set_s3_resume_vector
00806ae0 t cmdline_parse
00806cc0 t get_option_val
00806d40 T tboot_parse_cmdline
00806d70 T linux_parse_cmdline
00806d90 T get_loglvl_prefix
00806e20 T get_tboot_loglvl
00806f20 T get_tboot_log_targets
00807050 T get_tboot_serial
00807300 T get_tboot_vga_delay
00807350 T get_tboot_prefer_da
008073b0 T get_tboot_min_ram
00807400 T get_tboot_mwait
00807460 T get_tboot_call_racm
008074c0 T get_tboot_call_racm_check
00807520 T get_tboot_measure_nv
00807580 T get_tboot_extpol
008076f0 T get_linux_vga
008077e0 T get_linux_mem
0080782b t .L183
00807890 t .L190
008078a0 t .L189
008078b8 t .L187
008078e0 T g_cmdline
00807ae0 T comc_init
00807c60 T comc_puts
00807d00 t print_map
00807d80 t get_highest_sized_ram.part.5
00807eb0 t insert_after_region.constprop.7
00807f70 t protect_region.part.3.constprop.6
00808410 t e820_reserve_ram.part.4
008087c0 T get_e820_copy
008087d0 T get_nr_map
008087f0 T copy_e820_map
00808a50 T e820_protect_region
00808ac0 T e820_check_region
00809090 T e820_reserve_ram
008090e0 T print_e820_map
00809100 T get_ram_ranges
008095d0 T get_highest_sized_ram
00809640 T get_efi_memmap
008097c0 T is_elf_image
00809970 T get_elf_image_range
00809a70 T expand_elf_image
00809c00 T jump_elf_image
00809c30 T are_hashes_equal
00809d40 T hash_buffer
00809e10 T extend_hash
00809fd0 T print_hash
0080a090 T copy_hash
0080a170 T index
0080a1b0 t extend_pcrs
0080a260 t verify_sealed_data
0080a410 t measure_memory_integrity
0080a8a0 t seal_data.constprop.0
0080a9f0 T seal_pre_k_state
0080acc0 T verify_integrity
0080afc0 T seal_post_k_state
0080b130 T expand_linux_image
0080bac0 T jump_linux_image
0080bb20 t remove_mb2_tag.isra.1
0080bbf0 t grow_mb2_tag.isra.2
0080bce0 T get_module
0080bdd0 T get_module_cmd
0080be20 T get_first_module_cmd
0080be80 T get_cmdline
0080bef0 T have_loader_memlimits
0080bf60 T get_loader_mem_lower
0080bfd0 T get_loader_mem_upper
0080c040 T get_module_count
0080c0e0 T verify_loader_context
0080c160 T is_kernel_linux
0080c1c0 t remove_module
0080c510 t find_module
0080c650 T find_module_by_uuid
0080c680 T find_module_by_file_signature
0080c6f0 T find_lcp_module
0080c840 T remove_txt_modules
0080c960 T verify_modules
0080caa0 T have_loader_memmap
0080cb20 T get_loader_memmap
0080cb80 T get_loader_memmap_length
0080cc00 T get_loader_ctx_end
0080cdb0 T find_platform_racm
0080cf40 T find_platform_sinit_module
0080d0c0 T replace_e820_map
0080d220 T print_loader_ctx
0080d390 T get_loader_rsdp
0080d440 T get_loader_efi_ptr
0080d500 T is_loader_launch_efi
0080d560 T launch_kernel
0080e660 T load_framebuffer_info
0080e730 T determine_loader_type
0080e7e0 T memcmp
0080e830 T memcpy
0080ea10 T print_hex
0080eaa0 T delay
0080ebf0 T mtx_init
0080ec00 T mtx_enter
0080ec20 T mtx_leave
0080ec30 t get_pde
0080eca0 T map_pages_to_tboot
0080ed20 t map_tboot_pages
0080edf0 T destroy_tboot_mapping
0080ee80 T enable_paging
0080ef90 T disable_paging
0080efc0 t pci_cfgenable.part.0
0080f050 T pcireg_cfgread
0080f100 T pcireg_cfgwrite
0080f1b0 t read_policy_from_tpm
0080f330 t unwrap_lcp_policy
0080f590 t is_hash_in_policy_entry
0080f6c0 t verify_module
0080fd90 T set_policy
00811930 T hash_policy
00811a70 T apply_policy
00811b80 T verify_all_modules
00812170 T verify_all_nvindices
00812740 t memlog_write
00812900 T printk_init
00812ae0 T printk
00812c90 T rijndaelKeySetupEnc
008130a0 T rijndaelKeySetupDec
008132c0 T rijndaelEncrypt
008137b0 T rijndael_set_key_enc_only
00813800 T rijndael_set_key
00813880 T rijndael_decrypt
00813d80 T rijndael_encrypt
00813db0 t sha1_step
00814310 T sha1_init
00814350 T sha1_pad
00814570 T sha1_loop
00814620 T sha1_result
008146d0 T sha1_buffer
00814770 T strcmp
008147a0 T strlen
008147c0 T strncmp
00814810 T strncpy
00814860 T strtoul
00814a70 T print_tb_error_msg
00814aa0 t .L19
00814ab8 t .L20
00814ad0 t .L3
00814ae0 t .L5
00814af0 t .L6
00814b00 t .L7
00814b10 t .L8
00814b20 t .L9
00814b38 t .L10
00814b50 t .L11
00814b68 t .L12
00814b80 t .L13
00814b98 t .L14
00814bb0 t .L15
00814bc8 t .L16
00814be0 t .L17
00814bf8 t .L18
00814c30 T read_tb_error_code
00814d00 T write_tb_error_code
00814db0 T was_last_boot_error
00814e10 t shutdown_system
00814f50 T get_tboot_mem_end
00814f80 T cpu_wakeup
00814fd0 T startup_rlps
00815020 T launch_racm
00815120 T check_racm_result
00815140 T s3_launch
008152f0 T begin_launch
00815ca0 T shutdown
00816080 T handle_exception
008160b0 t tpm_get_burst_count
00816120 t tpm_send_cmd_ready_status
008161a0 T tpm_validate_locality
00816200 T tpm_validate_locality_crb
008162c0 T tpm_wait_cmd_ready
00816480 T tpm_submit_cmd
00816900 T tpm_submit_cmd_crb
00816d90 T release_locality
00816e30 T tpm_relinquish_locality_crb
00816f00 T is_tpm_crb
00816fa0 T prepare_tpm
00816fc0 T tpm_request_locality_crb
008170a0 T tpm_workaround_crb
00817170 T tpm_detect
00817390 T tpm_print
00817420 T vga_init
00817490 T vga_puts
00817680 t l3hash
008179d0 t poly_step_func.isra.0
00817ba0 T vhash_abort
00817be0 T vhash_update
008180d0 T xvhash
00818480 T vhash
00818e70 T vmac
00818fb0 T vmac_set_key
00819200 t write_string_to_buffer
00819300 t int2str.constprop.0
00819590 T vscnprintf
00819690 t .L118
008196a7 t .L112
00819750 t .L117
00819760 t .L116
00819770 t .L115
00819780 t .L113
0081978a t .L137
00819802 t .L132
00819824 t .L129
00819902 t .L140
0081992c t .L138
0081998b t .L139
0081999d t .L130
008199b7 t .L133
008199d7 t .L135
008199ee t .L136
00819a09 t .L134
00819ac0 T snprintf
00819af0 t _LZ_WriteVarSize
00819b50 T LZ_Compress
00819e10 T LZ_Uncompress
00819f50 t get_acmod_info_table
0081a040 t get_acmod_chipset_list
0081a160 t get_acmod_processor_list
0081a280 t is_acmod
0081a500 T get_tpm_info_list
0081a610 T print_txt_caps
0081a730 t print_acm_hdr
0081aeb0 T get_supported_os_sinit_data_ver
0081aee0 T get_sinit_capabilities
0081af20 T is_racm_acmod
0081afc0 T is_sinit_acmod
0081b010 T does_acmod_match_platform
0081b3b0 T get_bios_sinit
0081b440 T copy_racm
0081b4f0 T copy_sinit
0081b6b0 T verify_racm
0081b860 T verify_IA32_se_svn_status
0081b9f0 T verify_acmod
0081bc80 T txt_get_error
0081bf00 T txt_get_racm_error
0081c140 t verify_ext_data_elts
0081c190 t .L7
0081c1a4 t .L13
0081c1e8 t .L32
0081c1f8 t .L12
0081c220 t .L11
0081c248 t .L10
0081c2c0 t .L9
0081c460 T print_event
0081c510 T print_event_2
0081c690 t print_ext_data_elts
0081c6e8 t .L86
0081c850 t .L85
0081c8d8 t .L83
0081c940 t .L81
0081c9a0 t .L84
0081ca48 t .L80
0081cba0 T verify_bios_data
0081ced0 T calc_os_sinit_data_size
0081cfb0 T print_os_sinit_data
0081d170 T verify_txt_heap
0081d9b0 t print_mtrrs
0081dab0 t get_maxphyaddr_mask.part.0
0081db30 t get_page_type
0081dc70 t get_region_type
0081dcf0 T save_mtrrs
0081ddc0 T validate_mtrrs
0081e520 T restore_mtrrs
0081e5b0 T set_mem_type
0081e8c0 T set_mtrrs_for_acmod
0081e980 T set_all_mtrrs
0081e9c0 t init_evtlog_desc
0081eb00 t init_event_log
0081eb80 T evtlog_append_tpm12
0081ec30 T dump_event_2
0081ee60 T evtlog_append_tpm20
0081efa0 T evtlog_append
0081f060 T txt_is_launched
0081f070 T txt_launch_environment
0081f950 T txt_s3_launch_environment
0081fa40 T txt_launch_racm
0081fb70 T txt_post_launch
0081ff40 T ap_wait
00820060 T txt_cpu_wakeup
008201e0 T txt_protect_mem_regions
008203d0 T txt_shutdown
00820510 T txt_is_powercycle_required
00820520 T get_parameters
008206d0 T txt_prepare_cpu
00820980 t g_mle_hdr
008209c0 t print_mseg_hdr
00820aa0 T use_mwait
00820ad0 T supports_txt
00820d80 T set_vtd_pmrs
00820e90 T txt_verify_platform
00820f20 T txt_post_launch_verify_platform
00821350 T verify_e820_map
00821590 T verify_stm
00821800 t stop_vmx
008218a0 T vmx_vmexit_handler
00821a90 T handle_init_sipi_sipi
00822270 T force_aps_exit
00822290 t _tpm12_submit_cmd
00822440 t tpm12_check
00822480 t _tpm12_pcr_extend
008225b0 t tpm12_cap_pcrs
00822700 t tpm12_get_random
00822930 t tpm12_nv_write_value
00822ac0 t tpm12_nv_read_value
00822cc0 t tpm12_pcr_reset
00822df0 t tpm12_pcr_read
00822f10 t tpm12_save_state
00823020 t check_sealed_data.part.0
00823060 t tpm12_pcr_extend
008230d0 t tpm12_osap.part.2
008231c0 t tpm12_get_capability.constprop.5
00823340 t tpm12_get_flags
00823430 t tpm12_init
00823820 t tpm12_get_nvindex_size
00823a10 t tpm12_get_nvindex_permission
00823c00 t tpm12_verify_creation
00823ef0 t hmac.constprop.11
00823fe0 t _tpm12_wrap_unseal
00824950 t tpm12_unseal
00824a60 t tpm12_seal
00825630 t reverse_copy_header
008256b0 t reverse_copy_pcr_selection_in
00825760 t tpm20_verify_creation
00825790 t reverse_copy_pcr_selection_out
00825840 t reverse_copy_sized_buf_in.part.1
00825880 t reverse_copy_sessions_in
00825990 t reverse_copy_public_in
00825b20 t .L99
00825c30 t .L86
00825d88 t .L115
00825dc2 t .L92
00825df1 t .L121
00825e20 t .L105
00825e50 t reverse_copy_sized_buf_out.part.2
00825e90 t reverse_copy_sessions_out
00825f40 t tpm20_pcr_reset
008261d0 t reverse_copy_public_out
008263d0 t .L226
008264a8 t .L256
00826550 t .L239
008265c2 t .L262
008265ed t .L232
0082660c t .L245
00826630 t reverse_copy_creation_data_out
008266f0 t reverse_copy_ticket_out
00826770 t _tpm20_get_random
00826910 t tpm20_get_nvindex_permission
00826950 t tpm20_get_nvindex_size
00826c80 t tpm20_get_random
00826e50 t tpm20_unseal.part.6
008274a0 t tpm20_unseal
00827530 t tpm20_nv_write.part.7
008278a0 t tpm20_nv_write
00827930 t tpm20_nv_read.part.8
00827c90 t tpm20_nv_read
00827d30 t tpm20_pcr_read.part.9
00828040 t tpm20_pcr_read
00828070 t reverse_copy_digest_values_out
00828180 t tpm20_pcr_extend.part.12
00828540 t tpm20_pcr_extend
00828570 t tpm20_cap_pcrs
00828710 t tpm20_seal
00828be0 t tpm20_save_state
00828d80 t tpm20_init
00829780 t tpm20_hash.part.11
0082a260 t tpm20_hash
0082a2e0 T get_digest_size
0082a330 t sha256_compress
0082be70 T sha256_process
0082bf70 T sha256_init
0082bfd0 T sha256_done
0082c170 T sha256_buffer
0082c20e T __x86.get_pc_thunk.ax
0082c212 T __x86.get_pc_thunk.bx
0082c216 T __x86.get_pc_thunk.si
0082c21a t parse_pci_bdf
0082c286 T __x86.get_pc_thunk.cx
0082c28a T __x86.get_pc_thunk.di
0082c28e T __x86.get_pc_thunk.bp
0082c292 T __x86.get_pc_thunk.dx
0082c340 r gdt_table.1700
0082c3a0 R _ctype
0082c4e4 r _def_policy_da
0082c508 r _def_policy
0082c540 r g_policy_map
0082c700 r rcon
0082c740 r Td4
0082cb40 r Td3
0082cf40 r Td2
0082d340 r Td1
0082d740 r Td0
0082db40 r Te4
0082df40 r Te3
0082e340 r Te2
0082e740 r Te1
0082eb40 r Te0
0082ef88 R mpoly
0082ef90 R m64
0082ef98 R m63
0082efa0 R m62
0082efa8 R p64
0082f1b4 r localities.1976
0082f1bc r blob_authdata
0082f1d0 r srk_authdata
0082f334 r auth_str
0083d000 D _mle_end
0083d000 D s3_flag
0083d004 d g_hide_dmar
0083d020 D g_com_port
0083d060 D post_launch_pcr18
0083d0a0 D post_launch_pcr17
0083d0d0 d sealed_post_k_state_size
0083d0e0 d sealed_post_k_state
0083d8e0 d sealed_pre_k_state_size
0083d900 d sealed_pre_k_state
0083e100 D g_post_k_s3_state
0083e120 D g_pre_k_s3_state
008401f4 d last_line_cr.1222
008401f8 D g_log
008401fc D g_log_targets
008401fd D g_log_level
00840200 d g_saved_s3_wakeup_page
00841200 D g_mb_orig_size
00841204 D g_ldr_ctx
00841208 D g_loader_ctx
00841210 D tboot_alg_list
00841214 D g_tpm
00841218 d num_lines
0084121c d cursor_y
0084121d d cursor_x
00841220 d g_saved_mtrrs
00841240 D g_sinit
00841244 D g_using_da
00841248 d g_elog_2
0084124c d g_elog
00841260 D g_rsdp
00841284 d handle2048
00841288 D hash_sizes
00842000 D _tboot_shared
00843000 d _GLOBAL_OFFSET_TABLE_
00843020 d g_loglvl_map
00843050 d g_linux_cmdline_options
00843080 d g_tboot_cmdline_options
008430d8 d types.3172
008430ec d mem_types.2431
00843100 d g_policy
00843120 D tpm_12_if
008432c0 D tpm_20_if
00844000 B __bss_start
00844000 b bsp_stack_end
00846000 b ap_stacks_end
00846000 b bsp_stack
00946000 b ap_stacks
00946000 B idle_pg_table
00947000 B host_vmcs
00948000 B ap_vmcs
00b48000 B pd_table
00b4c000 B pdptr_table
00b4d000 b _real_mode_entry_point
00b4d008 b g_dmar_table
00b4d00c b rsdp
00b4d020 B g_pbbdf_enabled
00b4d021 B g_psbdf_enabled
00b4d040 b g_linux_param_values
00b4d100 b g_tboot_param_values
00b4d3c0 B g_min_ram
00b4d3c4 b efi_memmap_size
00b4d3c8 b efi_memmap_addr
00b4d3cc b g_nr_map
00b4d3d0 B elf64
00b4d3d4 b gdt_desc.1704
00b4d3dc b boot_params
00b4d3e0 b mb2_temp
00b4dbe0 b g_ticks_per_millisec
00b4dbe8 b g_calibrated
00b4dbec b cr4
00b4dbf0 b cr0
00b4dbf4 B pcicfg_mtx
00b4dc00 b buf.2843
00b4dc40 b buf.1922
00b4dc60 b buf.1930
00b4dca0 b buf.1299
00b4dcc0 b buf.1926
00b4dce0 b nv_buf
00b4ece0 b _policy_index_buf
00b4f340 b buf.1198
00b57340 b print_lock
00b57344 b no_err_idx
00b57348 B g_tpm_family
00b5734c b g_reg_sts
00b57350 B g_vga_delay
00b57351 b printed_host_info.2320
00b57352 b printed_msg.2386
00b57354 B ap_wfs_count
00b57358 b ilp_smm_mon_ctl.2504
00b57360 b g_feat_ctrl_msr
00b57364 b g_cpuid_ext_feat_info
00b57368 B aps_exit_guest
00b5736c B ap_lock
00b57370 b init_done.1668
00b57374 b vm_entry_ctrls
00b57378 b vm_exit_ctrls
00b5737c b proc_based_vm_exec_ctrls
00b57380 b pin_based_vm_exec_ctrls
00b57384 b vmcs_rev_id
00b573a0 b first_attempt.2205
00b573c0 b rsp_buf
00b576c0 b cmd_buf
00b579c0 B pw_session
00b57a50 b first_attempt.3170
00b57a60 b rsp_buf
00b58a60 b cmd_buf
00b59a60 B _end
