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
0080b020 T jump_linux_image
0080b070 t remove_mb2_tag.isra.1
0080b120 t grow_mb2_tag.isra.2
0080b210 T get_module
0080b2d0 T get_module_cmd
0080b320 T get_first_module_cmd
0080b380 T get_cmdline
0080b3e0 T have_loader_memlimits
0080b450 T get_loader_mem_lower
0080b4b0 T get_loader_mem_upper
0080b510 T get_module_count
0080b5a0 T verify_loader_context
0080b600 T is_kernel_linux
0080b640 t remove_module
0080b920 t find_module
0080ba50 T find_module_by_uuid
0080ba80 T find_module_by_file_signature
0080bae0 T find_lcp_module
0080bc00 T remove_txt_modules
0080bd00 T verify_modules
0080be30 T have_loader_memmap
0080bea0 T get_loader_memmap
0080bf00 T get_loader_memmap_length
0080bf60 T get_loader_ctx_end
0080c100 T find_platform_racm
0080c270 T find_platform_sinit_module
0080c3d0 T replace_e820_map
0080c530 T print_loader_ctx
0080c640 T get_loader_rsdp
0080c6c0 T get_loader_efi_ptr
0080c780 T is_loader_launch_efi
0080c7e0 T launch_kernel
0080d590 T load_framebuffer_info
0080d650 T determine_loader_type
0080d6f0 T memcmp
0080d740 T memcpy
0080d920 T print_hex
0080d9a0 T delay
0080dad0 T mtx_init
0080dae0 T mtx_enter
0080db00 T mtx_leave
0080db10 t get_pde
0080db90 T map_pages_to_tboot
0080dc10 t map_tboot_pages
0080dcc0 T destroy_tboot_mapping
0080dd40 T enable_paging
0080de20 T disable_paging
0080de40 t pci_cfgenable.part.0
0080ded0 T pcireg_cfgread
0080df60 T pcireg_cfgwrite
0080e020 t read_policy_from_tpm
0080e160 t unwrap_lcp_policy
0080e3b0 t is_hash_in_policy_entry
0080e4e0 t verify_module
0080eb00 T set_policy
00810460 T hash_policy
00810580 T apply_policy
00810670 T verify_all_modules
00810b70 T verify_all_nvindices
008110a0 t memlog_write
008111c0 T printk_init
00811320 T printk
008114c0 T rijndaelKeySetupEnc
008118f0 T rijndaelKeySetupDec
00811b20 T rijndaelEncrypt
00811fd0 T rijndael_set_key_enc_only
00812020 T rijndael_set_key
008120a0 T rijndael_decrypt
00812550 T rijndael_encrypt
00812580 t sha1_step
00812ae0 T sha1_init
00812b20 T sha1_pad
00812d40 T sha1_loop
00812de0 T sha1_result
00812e90 T sha1_buffer
00812f30 T strcmp
00812f60 T strlen
00812f80 T strncmp
00812fd0 T strncpy
00813020 T strtoul
00813210 T print_tb_error_msg
008133e0 T read_tb_error_code
00813490 T write_tb_error_code
00813520 T was_last_boot_error
00813570 t shutdown_system
008136a0 T get_tboot_mem_end
008136b0 T cpu_wakeup
008136e0 T startup_rlps
00813730 T launch_racm
00813810 T check_racm_result
00813830 T s3_launch
008139a0 T begin_launch
00814200 T shutdown
00814480 T handle_exception
008144a0 t tpm_get_burst_count
00814500 t tpm_send_cmd_ready_status
00814570 T tpm_validate_locality
008145c0 T tpm_submit_cmd
00814b90 T release_locality
00814c20 T prepare_tpm
00814c40 T tpm_detect
00814d20 T tpm_print
00814da0 T vga_init
00814e00 T vga_puts
00814fa0 t l3hash
008152d0 t poly_step_func.isra.0
008154a0 T vhash_abort
008154e0 T vhash_update
00815980 T xvhash
00815d00 T vhash
008166b0 T vmac
008167c0 T vmac_set_key
008169d0 t write_string_to_buffer
00816ad0 t int2str.constprop.1
00816d50 t vscnprintf.part.0
008171b0 T vscnprintf
00817220 T snprintf
00817280 t _LZ_WriteVarSize
008172e0 T LZ_Compress
00817590 T LZ_Uncompress
008176b0 t get_acmod_info_table
00817780 t get_acmod_chipset_list
00817890 t get_acmod_processor_list
008179a0 t is_acmod
00817bf0 T get_tpm_info_list
00817ce0 T print_txt_caps
00817df0 t print_acm_hdr
00818460 T get_supported_os_sinit_data_ver
00818490 T get_sinit_capabilities
008184d0 T is_racm_acmod
00818550 T is_sinit_acmod
00818590 T does_acmod_match_platform
00818890 T get_bios_sinit
00818910 T copy_racm
00818990 T copy_sinit
00818b00 T verify_racm
00818c90 T verify_IA32_se_svn_status
00818e10 T verify_acmod
00819060 T txt_get_error
008192b0 T txt_get_racm_error
008194a0 t verify_ext_data_elts
00819740 T print_event
008197d0 T print_event_2
00819930 t print_ext_data_elts
00819d90 T verify_bios_data
0081a0c0 T calc_os_sinit_data_size
0081a170 T print_os_sinit_data
0081a310 T verify_txt_heap
0081aaa0 t print_mtrrs
0081ab80 t get_maxphyaddr_mask.part.0
0081abf0 t get_page_type
0081ad30 t get_region_type
0081adb0 T save_mtrrs
0081ae60 T validate_mtrrs
0081b570 T restore_mtrrs
0081b600 T set_mem_type
0081b8f0 T set_mtrrs_for_acmod
0081b9b0 T set_all_mtrrs
0081b9e0 t init_evtlog_desc
0081bb40 t init_event_log
0081bbb0 T evtlog_append_tpm12
0081bc30 T dump_event_2
0081bda0 T evtlog_append_tpm20
0081bec0 T evtlog_append
0081bf70 T txt_is_launched
0081bf80 T txt_launch_environment
0081c780 T txt_s3_launch_environment
0081c840 T txt_launch_racm
0081c960 T txt_post_launch
0081ccc0 T ap_wait
0081cdc0 T txt_cpu_wakeup
0081cf20 T txt_protect_mem_regions
0081d110 T txt_shutdown
0081d230 T txt_is_powercycle_required
0081d240 T get_parameters
0081d3d0 T txt_prepare_cpu
0081d640 t g_mle_hdr
0081d680 t print_mseg_hdr
0081d740 T use_mwait
0081d760 T supports_txt
0081d990 T set_vtd_pmrs
0081daa0 T txt_verify_platform
0081db00 T txt_post_launch_verify_platform
0081df00 T verify_e820_map
0081e130 T verify_stm
0081e370 t stop_vmx
0081e3f0 T vmx_vmexit_handler
0081e590 T handle_init_sipi_sipi
0081ed30 T force_aps_exit
0081ed40 t _tpm12_submit_cmd
0081eee0 t tpm12_check
0081ef20 t _tpm12_pcr_extend
0081f030 t tpm12_cap_pcrs
0081f160 t tpm12_get_random
0081f380 t tpm12_nv_write_value
0081f4e0 t tpm12_nv_read_value
0081f6b0 t tpm12_pcr_reset
0081f790 t tpm12_pcr_read
0081f8a0 t tpm12_save_state
0081f980 t check_sealed_data.part.0
0081f9c0 t tpm12_pcr_extend
0081fa30 t tpm12_osap.part.2
0081fb10 t tpm12_get_capability.constprop.5
0081fc80 t tpm12_get_flags
0081fd60 t tpm12_init
00820120 t tpm12_get_nvindex_size
00820310 t tpm12_get_nvindex_permission
00820500 t tpm12_verify_creation
008207a0 t hmac.constprop.11
00820880 t _tpm12_wrap_unseal
00821120 t tpm12_unseal
00821200 t tpm12_seal
00821d30 t reverse_copy_header
00821da0 t reverse_copy_pcr_selection_in
00821e40 t tpm20_verify_creation
00821e70 t reverse_copy_pcr_selection_out
00821f10 t reverse_copy_sized_buf_in.part.1
00821f50 t reverse_copy_sessions_in
00822060 t reverse_copy_public_in
008224d0 t reverse_copy_sized_buf_out.part.2
00822510 t reverse_copy_sessions_out
008225c0 t tpm20_pcr_reset
008227d0 t reverse_copy_public_out
00822c30 t reverse_copy_creation_data_out
00822cf0 t reverse_copy_ticket_out
00822d50 t _tpm20_get_random
00822e70 t tpm20_get_nvindex_permission
00822eb0 t tpm20_get_nvindex_size
00823160 t tpm20_get_random
00823310 t tpm20_unseal.part.6
00823850 t tpm20_unseal
008238e0 t tpm20_nv_write.part.7
00823bb0 t tpm20_nv_write
00823c40 t tpm20_nv_read.part.8
00823f20 t tpm20_nv_read
00823fc0 t tpm20_pcr_read.part.9
00824240 t tpm20_pcr_read
00824270 t reverse_copy_digest_values_out
00824340 t tpm20_pcr_extend.part.12
00824670 t tpm20_pcr_extend
008246a0 t tpm20_cap_pcrs
00824810 t tpm20_seal
00824c50 t tpm20_save_state
00824d60 t tpm20_init
008255b0 t tpm20_hash.part.11
00825e30 t tpm20_hash
00825eb0 T get_digest_size
00825ee0 t sha256_compress
00827980 T sha256_process
00827a70 T sha256_init
00827ad0 T sha256_done
00827c40 T sha256_buffer
00827cde T _etext
00827cde t parse_pci_bdf
00827de0 r g_loglvl_map
00827e10 r g_linux_cmdline_options
00827e40 r g_tboot_cmdline_options
00827ea0 r gdt_table.1771
00827f00 R _ctype
00828044 r _def_policy_da
00828068 r _def_policy
008280a0 r g_policy_map
00828260 r rcon
008282a0 r Td4
008286a0 r Td3
00828aa0 r Td2
00828ea0 r Td1
008292a0 r Td0
008296a0 r Te4
00829aa0 r Te3
00829ea0 r Te2
0082a2a0 r Te1
0082a6a0 r Te0
0082aae4 r types.3064
0082aaf8 R mpoly
0082ab00 R m64
0082ab08 R m63
0082ab10 R m62
0082ab18 R p64
0082ad28 r mem_types.2322
0082ad54 r localities.1868
0082ad5c r blob_authdata
0082ad70 r srk_authdata
0082aed4 r auth_str
00837000 D _mle_end
00837000 D s3_flag
00837004 d g_hide_dmar
00837020 D g_com_port
00837060 D post_launch_pcr18
008370a0 D post_launch_pcr17
008370d0 d sealed_post_k_state_size
008370e0 d sealed_post_k_state
008378e0 d sealed_pre_k_state_size
00837900 d sealed_pre_k_state
00838100 D g_post_k_s3_state
00838120 D g_pre_k_s3_state
0083a1f4 d g_policy
0083a1f8 d last_line_cr.1269
0083a1fc D g_log
0083a200 D g_log_targets
0083a201 D g_log_level
0083a220 d g_saved_s3_wakeup_page
0083b220 D g_mb_orig_size
0083b224 D g_ldr_ctx
0083b228 D g_loader_ctx
0083b230 D tboot_alg_list
0083b234 D g_tpm
0083b238 d num_lines
0083b23c d cursor_y
0083b23d d cursor_x
0083b240 d g_saved_mtrrs
0083b244 D g_sinit
0083b248 D g_using_da
0083b24c d g_elog_2
0083b250 d g_elog
0083b260 D tpm_12_if
0083b400 D tpm_20_if
0083b584 d handle2048
0083b588 D hash_sizes
0083c000 D _tboot_shared
0083d000 B __bss_start
0083d000 b bsp_stack_end
0083e000 b ap_stacks_end
0083e000 b bsp_stack
008be000 b ap_stacks
008be000 B idle_pg_table
008bf000 B host_vmcs
008c0000 B ap_vmcs
00ac0000 B pd_table
00ac4000 B pdptr_table
00ac5000 b _real_mode_entry_point
00ac5008 b g_dmar_table
00ac500c b rsdp
00ac5020 B g_pbbdf_enabled
00ac5021 B g_psbdf_enabled
00ac5040 b g_linux_param_values
00ac5100 b g_tboot_param_values
00ac53c0 B g_min_ram
00ac53c4 b efi_memmap_size
00ac53c8 b efi_memmap_addr
00ac53cc b g_nr_map
00ac53d0 b gdt_desc.1775
00ac53d8 b boot_params
00ac53e0 b mb2_temp
00ac5be0 b g_ticks_per_millisec
00ac5be8 b g_calibrated
00ac5bec b cr4
00ac5bf0 b cr0
00ac5bf4 B pcicfg_mtx
00ac5c00 b buf.2730
00ac5c40 b buf.1813
00ac5c60 b buf.1821
00ac5ca0 b buf.1374
00ac5cc0 b buf.1817
00ac5ce0 b nv_buf
00ac6ce0 b _policy_index_buf
00ac732c b print_lock
00ac7330 b no_err_idx
00ac7334 b g_tpm_family
00ac7338 b g_reg_sts
00ac733c B g_vga_delay
00ac733d b printed_host_info.2211
00ac733e b printed_msg.2276
00ac7340 B ap_wfs_count
00ac7348 b ilp_smm_mon_ctl.2579
00ac7350 b g_feat_ctrl_msr
00ac7354 b g_cpuid_ext_feat_info
00ac7358 B aps_exit_guest
00ac735c B ap_lock
00ac7360 b init_done.1742
00ac7364 b vm_entry_ctrls
00ac7368 b vm_exit_ctrls
00ac736c b proc_based_vm_exec_ctrls
00ac7370 b pin_based_vm_exec_ctrls
00ac7374 b vmcs_rev_id
00ac7380 b first_attempt.2097
00ac73a0 b rsp_buf
00ac76a0 b cmd_buf
00ac79a0 B pw_session
00ac7a30 b first_attempt.2966
00ac7a40 b rsp_buf
00ac8a40 b cmd_buf
00ac9a40 B _end
