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
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 set_s3_resume_vector
008060d0 t dump_gas
008061b0 t write_to_reg
008062c0 t read_from_reg
008063e0 T machine_sleep
008064c0 t find_rsdp_in_range
00806560 t find_rsdp
008065e0 t find_table
008066f0 T get_acpi_mcfg_table
00806700 T get_acpi_ioapic_table
00806780 T get_madt_apic_base
008067b0 T remove_vtd_dmar_table
00806810 T save_vtd_dmar_table
00806840 T restore_vtd_dmar_table
008068d0 T get_rsdp
00806920 T get_loglvl_prefix
00806990 t parse_pci_bdf
00806a20 t get_option_val
00806a90 T get_linux_mem
00806b70 T get_linux_vga
00806c50 T get_tboot_extpol
00806d90 T get_tboot_measure_nv
00806dd0 T get_tboot_call_racm_check
00806e10 T get_tboot_call_racm
00806e50 T get_tboot_mwait
00806e90 T get_tboot_min_ram
00806ed0 T get_tboot_prefer_da
00806f10 T get_tboot_vga_delay
00806f50 T get_tboot_serial
008071f0 T get_tboot_log_targets
008072e0 T get_tboot_loglvl
008073a0 t cmdline_parse
00807550 T linux_parse_cmdline
00807570 T tboot_parse_cmdline
008075a0 T g_cmdline
008077a0 T comc_puts
00807840 T comc_init
00807990 T get_e820_copy
008079a0 T get_nr_map
008079b0 T get_highest_sized_ram
00807ae0 T get_efi_memmap
00807cc0 T print_e820_map
00807d40 T e820_check_region
008082f0 t insert_after_region.clone.1
008083a0 t protect_region.clone.0
008088c0 T copy_e820_map
00808b70 T e820_protect_region
00808bb0 T e820_reserve_ram
00808ef0 T get_ram_ranges
00809360 T jump_elf_image
00809380 T is_elf_image
00809510 T expand_elf_image
00809670 T copy_hash
00809700 T print_hash
008097c0 T hash_buffer
00809870 T extend_hash
008099e0 T are_hashes_equal
00809a80 T index
00809ab0 t measure_memory_integrity
00809ee0 t seal_data
00809fe0 T seal_post_k_state
0080a100 t verify_sealed_data
0080a270 t extend_pcrs
0080a310 T verify_integrity
0080a5a0 T seal_pre_k_state
0080a830 T jump_linux_image
0080a880 T expand_linux_image
0080b1b0 T get_module_cmd
0080b1f0 T get_cmdline
0080b250 T have_loader_memlimits
0080b2b0 T get_loader_mem_lower
0080b310 T get_loader_mem_upper
0080b370 T get_module_count
0080b400 T have_loader_memmap
0080b470 T get_loader_memmap
0080b4d0 T get_loader_memmap_length
0080b530 T get_loader_rsdp
0080b5b0 T get_loader_efi_ptr
0080b670 T is_loader_launch_efi
0080b6d0 T load_framebuffer_info
0080b790 t remove_mb2_tag
0080b830 T determine_loader_type
0080b8e0 t grow_mb2_tag
0080b9c0 t get_module_mb1
0080ba00 T get_module
0080bab0 T get_first_module_cmd
0080bb00 T verify_loader_context
0080bb60 T get_loader_ctx_end
0080bce0 T print_loader_ctx
0080bdf0 T replace_e820_map
0080bf80 T find_platform_sinit_module
0080c0d0 T find_platform_racm
0080c220 T verify_modules
0080c340 t find_module
0080c490 T find_module_by_file_signature
0080c4f0 T find_module_by_uuid
0080c520 T find_lcp_module
0080c650 T is_kernel_linux
0080c6a0 t remove_module
0080c9a0 T remove_txt_modules
0080caa0 T launch_kernel
0080d700 T memcmp
0080d760 T memcpy
0080d940 T delay
0080dac0 T print_hex
0080db40 T mtx_init
0080db50 T mtx_enter
0080db70 T mtx_leave
0080db80 T map_pages_to_tboot
0080dc80 T destroy_tboot_mapping
0080dd00 T disable_paging
0080dd20 t map_tboot_pages
0080ddc0 T enable_paging
0080de90 T pcireg_cfgwrite
0080df90 T pcireg_cfgread
0080e080 t read_policy_from_tpm
0080e1b0 t is_hash_in_policy_entry
0080e2d0 t verify_module
0080e8b0 T apply_policy
0080e9a0 t unwrap_lcp_policy
0080ebf0 T hash_policy
0080ecf0 T verify_all_modules
0080f1f0 t verify_policy.clone.0
0080f810 T verify_all_nvindices
0080fd50 T set_policy
00810110 t memlog_write
008102e0 T printk
00810480 T printk_init
00810650 T rijndaelKeySetupEnc
008109a0 T rijndaelKeySetupDec
00810bd0 T rijndaelEncrypt
008110b0 T rijndael_set_key_enc_only
008110f0 T rijndael_set_key
00811170 T rijndael_decrypt
00811670 T rijndael_encrypt
008116a0 T sha1_init
008116e0 t sha1_step
00811bb0 T sha1_pad
00811de0 T sha1_result
00811e90 T sha1_loop
00811f20 T sha1_buffer
00811fb0 T strcmp
00811ff0 T strlen
00812010 T strncmp
00812060 T strncpy
008120b0 T strtoul
00812280 T write_tb_error_code
00812310 T read_tb_error_code
008123c0 T was_last_boot_error
00812410 T print_tb_error_msg
00812550 T get_tboot_mem_end
00812560 t is_launched
00812580 t shutdown_system
008126b0 T cpu_wakeup
008126e0 T check_racm_result
00812700 T s3_launch
00812870 T startup_rlps
008128c0 T launch_racm
00812970 T shutdown
00812c10 T handle_exception
00812c40 T begin_launch
00813510 T tpm_print
00813590 T tpm_request_locality_crb
00813660 T is_tpm_crb
008136f0 T tpm_validate_locality_crb
008137a0 T tpm_relinquish_locality_crb
00813890 T tpm_submit_cmd_crb
00813dc0 T tpm_validate_locality
00813e10 T release_locality
00813e90 T prepare_tpm
00813ec0 T tpm_submit_cmd
008145c0 T tpm_detect
00814790 T vga_init
008147f0 T vga_puts
00814980 t poly_step_func
00814be0 T vhash_abort
00814c20 t l3hash
00814f80 T vhash_update
008154d0 T xvhash
00815920 T vhash
00816500 T vmac_set_key
00816770 T vmac
008168a0 t write_string_to_buffer
008169f0 t int2str.clone.0
00816ca0 T vscnprintf
008170e0 T snprintf
00817110 T LZ_Compress
00817500 T LZ_Uncompress
00817620 t get_acmod_info_table
008176e0 T get_sinit_capabilities
00817720 T get_supported_os_sinit_data_ver
00817740 t get_acmod_chipset_list
00817840 t get_acmod_processor_list
00817940 T print_txt_caps
00817a50 T get_tpm_info_list
00817b20 t print_acm_hdr
008181a0 T verify_racm
00818310 t is_acmod
00818570 T is_sinit_acmod
008185c0 T is_racm_acmod
00818650 T copy_racm
008186d0 T does_acmod_match_platform
008189d0 T get_bios_sinit
00818a50 T copy_sinit
00818be0 T verify_IA32_se_svn_status
00818d40 T verify_acmod
00818f60 T txt_get_racm_error
00819190 T txt_get_error
00819420 T calc_os_sinit_data_size
00819500 t verify_ext_data_elts
008197e0 T print_event_2
00819930 T print_event
008199c0 t print_ext_data_elts
00819e30 T print_os_sinit_data
00819fd0 T verify_bios_data
0081a2a0 T verify_txt_heap
0081a9d0 T restore_mtrrs
0081aa70 T set_all_mtrrs
0081aaa0 T set_mem_type
0081adf0 T set_mtrrs_for_acmod
0081aea0 t print_mtrrs
0081af70 T save_mtrrs
0081b010 t get_maxphyaddr_mask
0081b0b0 t get_page_type
0081b1b0 t get_region_type
0081b240 T validate_mtrrs
0081b8c0 t init_evtlog_desc
0081ba40 T txt_is_launched
0081ba50 T txt_is_powercycle_required
0081ba60 T get_parameters
0081bc00 T txt_prepare_cpu
0081be30 T txt_shutdown
0081bf60 T txt_protect_mem_regions
0081c130 T ap_wait
0081c220 T txt_launch_racm
0081c340 t init_event_log
0081c3b0 T txt_s3_launch_environment
0081c470 T evtlog_append_tpm20
0081c580 T dump_event_2
0081c6e0 T evtlog_append_tpm12
0081c770 T evtlog_append
0081c830 T txt_launch_environment
0081d0b0 T txt_post_launch
0081d410 T txt_cpu_wakeup
0081d580 t g_mle_hdr
0081d5c0 t print_mseg_hdr
0081d680 T verify_stm
0081d8e0 T set_vtd_pmrs
0081da10 T verify_e820_map
0081dc30 T txt_post_launch_verify_platform
0081e070 T use_mwait
0081e090 T supports_txt
0081e2d0 T txt_verify_platform
0081e340 T force_aps_exit
0081e350 t stop_vmx
0081e3d0 t init_vmx_ctrl
0081e420 T handle_init_sipi_sipi
0081eac0 T vmx_vmexit_handler
0081ec50 t _tpm12_submit_cmd
0081edc0 t tpm12_check
0081ee00 t _tpm12_pcr_extend
0081eef0 t tpm12_cap_pcrs
0081f010 t tpm12_pcr_extend
0081f0c0 t tpm12_get_random
0081f2b0 t tpm12_nv_write_value
0081f3d0 t tpm12_nv_read_value
0081f560 t tpm12_pcr_reset
0081f640 t tpm12_pcr_read
0081f720 t tpm12_save_state
0081f810 t tpm12_get_capability.clone.0
0081f970 t tpm12_get_flags
0081fa50 t tpm12_init
0081fda0 t tpm12_get_nvindex_size
0081ff40 t tpm12_get_nvindex_permission
008200e0 t hmac.clone.1
008201e0 t tpm12_osap.clone.2
00820320 t _tpm12_wrap_unseal
00820be0 t tpm12_unseal
00820cd0 t tpm12_seal
00821890 t tpm12_verify_creation
00821bc0 t reverse_copy_header
00821c20 t reverse_copy_pcr_selection_in
00821ce0 t reverse_copy_pcr_selection_out
00821d90 t reverse_copy_sized_buf_in
00821de0 t reverse_copy_sized_buf_out
00821e30 t reverse_copy_sessions_in
00821f30 t reverse_copy_sessions_out
00821fb0 T get_digest_size
00821fe0 t reverse_copy_digest_values_out
008220b0 t reverse_copy_public_in
00822510 t reverse_copy_public_out
00822940 t reverse_copy_creation_data_out
00822a00 t reverse_copy_ticket_out
00822a60 t tpm20_get_nvindex_permission
00822a90 t tpm20_verify_creation
00822ac0 t tpm20_save_state
00822c00 t _tpm20_get_random
00822d50 t tpm20_get_nvindex_size
00823000 t tpm20_pcr_reset
00823240 t tpm20_get_random
008233d0 t tpm20_unseal
00823980 t tpm20_seal
00823df0 t tpm20_nv_write
00824140 t tpm20_nv_read
008244c0 t tpm20_hash
00824d40 t tpm20_pcr_extend
00825100 t tpm20_cap_pcrs
00825290 t tpm20_pcr_read
00825590 t tpm20_init
00825ea0 t sha256_compress
00827ac0 T sha256_init
00827b20 T sha256_done
00827cb0 T sha256_process
00827db0 T sha256_buffer
00827e4c A _etext
00827efc r g_linux_cmdline_options
00827f20 r g_tboot_cmdline_options
00827f80 r g_loglvl_map
00827fb0 r gdt_table.1861
00828000 R _ctype
00828141 r _def_policy
00828180 r g_policy_map
00828330 r _def_policy_da
00828360 r Td0
00828760 r Td1
00828b60 r Td2
00828f60 r Td3
00829360 r Td4
00829760 r Te0
00829b60 r Te1
00829f60 r Te2
0082a360 r Te3
0082a760 r Te4
0082ab60 r rcon
0082abcc r types.3670
0082abe0 r g_reg_sts_12
0082abe8 R p64
0082abf0 R m62
0082abf8 R m63
0082ac00 R m64
0082ac08 R mpoly
0082adfc r mem_types.2754
0082ae25 r srk_authdata
0082ae39 r blob_authdata
0082ae4d r localities.2392
0082afa4 r auth_str
00833000 A _mle_end
00833000 D s3_flag
00833004 d g_hide_dmar
00833020 D g_com_port
00833060 d sealed_pre_k_state
00833860 d sealed_pre_k_state_size
00833880 d sealed_post_k_state
00834080 d sealed_post_k_state_size
008340a0 D g_pre_k_s3_state
00836174 D g_post_k_s3_state
008361a0 D post_launch_pcr17
008361e0 D post_launch_pcr18
00836220 d g_policy
00836240 d buf.1980
00836280 D g_log_level
00836281 D g_log_targets
00836284 D g_log
00836288 d last_line_cr.1217
008362a0 D g_loader_ctx
008362a8 D g_ldr_ctx
008362ac D g_mb_orig_size
008362c0 d g_saved_s3_wakeup_page
008372c0 D g_tpm
008372c4 D tboot_alg_list
008372c8 d cursor_x
008372c9 d cursor_y
008372cc d num_lines
008372d0 d g_saved_mtrrs
008372e0 D g_using_da
008372e4 D g_sinit
008372e8 d g_elog
008372ec d g_elog_2
00837300 D g_rsdp
00837340 D tpm_12_if
008374e0 D hash_sizes
00837500 D tpm_20_if
00837684 d handle2048
00838000 D _tboot_shared
00839000 A __bss_start
00839000 b bsp_stack_end
0083b000 b ap_stacks_end
0083b000 b bsp_stack
0093b000 b ap_stacks
0093b000 B idle_pg_table
0093c000 B host_vmcs
0093d000 B ap_vmcs
00b3d000 B pdptr_table
00b3e000 B pd_table
00b42000 b _real_mode_entry_point
00b42008 b rsdp
00b4200c b g_dmar_table
00b42020 B g_psbdf_enabled
00b42021 B g_pbbdf_enabled
00b42040 b g_tboot_param_values
00b42300 b g_linux_param_values
00b423c0 B g_min_ram
00b423c4 b efi_memmap_addr
00b423c8 b efi_memmap_size
00b423cc b g_nr_map
00b423d0 B elf64
00b423d4 b gdt_desc.1865
00b423dc b boot_params
00b423e0 b mb2_temp
00b42be0 b g_calibrated
00b42be8 b g_ticks_per_millisec
00b42bf0 b cr0
00b42bf4 b cr4
00b42bf8 B pcicfg_mtx
00b42c00 b buf.3493
00b42c40 b buf.1968
00b42c60 b buf.1285
00b42c80 b buf.1958
00b42ca0 b _policy_index_buf
00b43300 b nv_buf
00b44300 b buf.1122
00b4c300 b print_lock
00b4c304 b no_err_idx
00b4c308 B g_tpm_family
00b4c309 b g_reg_sts
00b4c310 B g_vga_delay
00b4c314 b printed_host_info.2698
00b4c318 b printed_msg.2358
00b4c31c B ap_wfs_count
00b4c320 b ilp_smm_mon_ctl.2841
00b4c328 b g_cpuid_ext_feat_info
00b4c32c b g_feat_ctrl_msr
00b4c330 B ap_lock
00b4c334 B aps_exit_guest
00b4c338 b init_done.1645
00b4c33c b vmcs_rev_id
00b4c340 b pin_based_vm_exec_ctrls
00b4c344 b proc_based_vm_exec_ctrls
00b4c348 b vm_exit_ctrls
00b4c34c b vm_entry_ctrls
00b4c360 b first_attempt.2997
00b4c380 b cmd_buf
00b4c680 b rsp_buf
00b4c980 B pw_session
00b4ca10 b first_attempt.4614
00b4ca20 b cmd_buf
00b4da20 b rsp_buf
00b4ea20 A _end
