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 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 skip_filename
008069f0 t parse_pci_bdf
00806a80 t get_option_val
00806af0 T get_linux_mem
00806bd0 T get_linux_vga
00806cb0 T get_tboot_extpol
00806df0 T get_tboot_measure_nv
00806e30 T get_tboot_call_racm_check
00806e70 T get_tboot_call_racm
00806eb0 T get_tboot_mwait
00806ef0 T get_tboot_min_ram
00806f30 T get_tboot_prefer_da
00806f70 T get_tboot_vga_delay
00806fb0 T get_tboot_serial
00807250 T get_tboot_log_targets
00807340 T get_tboot_loglvl
00807400 t cmdline_parse
008075b0 T linux_parse_cmdline
008075d0 T tboot_parse_cmdline
00807600 T g_cmdline
00807800 T comc_puts
008078a0 T comc_init
008079f0 T get_e820_copy
00807a00 T get_nr_map
00807a10 T get_highest_sized_ram
00807b40 T get_efi_memmap
00807d20 T print_e820_map
00807da0 T e820_check_region
00808350 t insert_after_region.clone.1
00808400 t protect_region.clone.0
00808920 T copy_e820_map
00808bd0 T e820_protect_region
00808c10 T e820_reserve_ram
00808f50 T get_ram_ranges
008093c0 T jump_elf_image
008093e0 T is_elf_image
008094e0 T expand_elf_image
008095b0 T copy_hash
00809640 T print_hash
00809700 T hash_buffer
008097b0 T extend_hash
00809920 T are_hashes_equal
008099c0 T index
008099f0 t measure_memory_integrity
00809e20 t seal_data
00809f20 T seal_post_k_state
0080a040 t verify_sealed_data
0080a1b0 t extend_pcrs
0080a250 T verify_integrity
0080a4e0 T seal_pre_k_state
0080a770 T jump_linux_image
0080a7c0 T expand_linux_image
0080b100 T get_module_cmd
0080b140 T get_cmdline
0080b1a0 T have_loader_memlimits
0080b200 T get_loader_mem_lower
0080b260 T get_loader_mem_upper
0080b2c0 T get_module_count
0080b350 T have_loader_memmap
0080b3c0 T get_loader_memmap
0080b420 T get_loader_memmap_length
0080b480 T get_loader_rsdp
0080b500 T get_loader_efi_ptr
0080b5c0 T is_loader_launch_efi
0080b620 T load_framebuffer_info
0080b6e0 t remove_mb2_tag
0080b780 T determine_loader_type
0080b830 t grow_mb2_tag
0080b910 t get_module_mb1
0080b950 T get_module
0080ba00 T get_first_module_cmd
0080ba50 T verify_loader_context
0080bab0 T get_loader_ctx_end
0080bc30 T print_loader_ctx
0080bd40 T replace_e820_map
0080bed0 T find_platform_sinit_module
0080c020 T find_platform_racm
0080c170 T verify_modules
0080c290 t find_module
0080c3e0 T find_module_by_file_signature
0080c440 T find_module_by_uuid
0080c470 T find_lcp_module
0080c5a0 T is_kernel_linux
0080c5f0 t remove_module
0080c8f0 T remove_txt_modules
0080c9f0 T launch_kernel
0080d640 T memcmp
0080d6a0 T memcpy
0080d880 T delay
0080da00 T print_hex
0080da80 T mtx_init
0080da90 T mtx_enter
0080dab0 T mtx_leave
0080dac0 T map_pages_to_tboot
0080dbc0 T destroy_tboot_mapping
0080dc40 T disable_paging
0080dc60 t map_tboot_pages
0080dd00 T enable_paging
0080ddd0 T pcireg_cfgwrite
0080ded0 T pcireg_cfgread
0080dfc0 t read_policy_from_tpm
0080e0f0 t is_hash_in_policy_entry
0080e210 t verify_module
0080e7f0 T apply_policy
0080e8e0 t unwrap_lcp_policy
0080eb30 T hash_policy
0080ec30 T verify_all_modules
0080f130 t verify_policy.clone.0
0080f750 T verify_all_nvindices
0080fc90 T set_policy
00810050 t memlog_write
008100f0 T printk
00810290 T printk_init
008103a0 T rijndaelKeySetupEnc
008106f0 T rijndaelKeySetupDec
00810920 T rijndaelEncrypt
00810e00 T rijndael_set_key_enc_only
00810e40 T rijndael_set_key
00810ec0 T rijndael_decrypt
008113c0 T rijndael_encrypt
008113f0 T sha1_init
00811430 t sha1_step
00811900 T sha1_pad
00811b30 T sha1_result
00811be0 T sha1_loop
00811c70 T sha1_buffer
00811d00 T strcmp
00811d40 T strlen
00811d60 T strncmp
00811db0 T strncpy
00811e00 T strtoul
00811fd0 T write_tb_error_code
00812060 T read_tb_error_code
00812110 T was_last_boot_error
00812160 T print_tb_error_msg
008122a0 T get_tboot_mem_end
008122b0 t shutdown_system
008123e0 T cpu_wakeup
00812410 T check_racm_result
00812430 T s3_launch
008125a0 T startup_rlps
008125f0 T launch_racm
008126a0 T shutdown
00812900 T handle_exception
00812930 T begin_launch
00813170 T tpm_print
008131f0 T tpm_validate_locality
00813240 T tpm_detect
00813350 T release_locality
008133d0 T prepare_tpm
008133f0 T tpm_submit_cmd
00813980 T vga_init
008139e0 T vga_puts
00813b70 t poly_step_func
00813dd0 T vhash_abort
00813e10 t l3hash
00814170 T vhash_update
008146c0 T xvhash
00814b10 T vhash
008156f0 T vmac_set_key
00815960 T vmac
00815a90 t write_string_to_buffer
00815bd0 t int2str.clone.0
00815e80 T vscnprintf
008162c0 T snprintf
008162f0 t get_acmod_info_table
008163c0 T get_sinit_capabilities
00816400 T get_supported_os_sinit_data_ver
00816420 t get_acmod_chipset_list
00816520 t get_acmod_processor_list
00816620 T print_txt_caps
00816730 T get_tpm_info_list
00816800 t print_acm_hdr
00816e40 T verify_acmod
00817050 T verify_racm
008171c0 t is_acmod
00817420 T is_sinit_acmod
00817470 T is_racm_acmod
00817500 T copy_racm
00817580 T does_acmod_match_platform
00817880 T get_bios_sinit
00817900 T copy_sinit
00817a90 T txt_get_racm_error
00817cc0 T txt_get_error
00817f50 T calc_os_sinit_data_size
00818030 t verify_ext_data_elts
00818310 T print_event_2
00818460 T print_event
008184f0 t print_ext_data_elts
00818960 T print_os_sinit_data
00818b00 T verify_bios_data
00818dd0 T verify_txt_heap
00819500 T restore_mtrrs
008195a0 T set_all_mtrrs
008195d0 T set_mem_type
00819780 T set_mtrrs_for_acmod
00819830 t print_mtrrs
00819900 T save_mtrrs
008199a0 t get_maxphyaddr_mask
00819a40 t get_page_type
00819b40 t get_region_type
00819bd0 T validate_mtrrs
0081a260 t init_evtlog_desc
0081a3e0 T txt_is_launched
0081a3f0 T txt_is_powercycle_required
0081a400 T get_parameters
0081a5a0 T txt_prepare_cpu
0081a7d0 T txt_shutdown
0081a900 T txt_protect_mem_regions
0081aad0 T ap_wait
0081abc0 T txt_launch_racm
0081ace0 t init_event_log
0081ad50 T txt_s3_launch_environment
0081ae10 T evtlog_append_tpm20
0081af20 T dump_event_2
0081b080 T evtlog_append_tpm12
0081b110 T evtlog_append
0081b1d0 T txt_launch_environment
0081b9e0 T txt_post_launch
0081bd40 T txt_cpu_wakeup
0081bea0 t g_mle_hdr
0081bee0 t print_mseg_hdr
0081bfa0 T verify_stm
0081c200 T set_vtd_pmrs
0081c330 T verify_e820_map
0081c550 T txt_post_launch_verify_platform
0081c990 T use_mwait
0081c9b0 T supports_txt
0081cbf0 T txt_verify_platform
0081cc60 T force_aps_exit
0081cc70 t stop_vmx
0081ccf0 t init_vmx_ctrl
0081cd40 T handle_init_sipi_sipi
0081d3e0 T vmx_vmexit_handler
0081d570 t _tpm12_submit_cmd
0081d6e0 t tpm12_check
0081d720 t _tpm12_pcr_extend
0081d810 t tpm12_cap_pcrs
0081d930 t tpm12_pcr_extend
0081d9e0 t tpm12_get_random
0081dbd0 t tpm12_nv_write_value
0081dcf0 t tpm12_nv_read_value
0081de80 t tpm12_pcr_reset
0081df60 t tpm12_pcr_read
0081e040 t tpm12_save_state
0081e130 t tpm12_get_capability.clone.0
0081e290 t tpm12_get_flags
0081e370 t tpm12_init
0081e6c0 t tpm12_get_nvindex_size
0081e860 t tpm12_get_nvindex_permission
0081ea00 t hmac.clone.1
0081eb00 t tpm12_osap.clone.2
0081ec40 t _tpm12_wrap_unseal
0081f500 t tpm12_unseal
0081f5f0 t tpm12_seal
008201b0 t tpm12_verify_creation
008204e0 t reverse_copy_header
00820540 t reverse_copy_pcr_selection_in
00820600 t reverse_copy_pcr_selection_out
008206b0 t reverse_copy_sized_buf_in
00820700 t reverse_copy_sized_buf_out
00820750 t reverse_copy_sessions_in
00820850 t reverse_copy_sessions_out
008208d0 T get_digest_size
00820900 t reverse_copy_digest_values_out
008209d0 t reverse_copy_public_in
00820e30 t reverse_copy_public_out
00821260 t reverse_copy_creation_data_out
00821320 t reverse_copy_ticket_out
00821380 t tpm20_get_nvindex_permission
008213b0 t tpm20_verify_creation
008213e0 t tpm20_save_state
008214d0 t _tpm20_get_random
008215c0 t tpm20_get_nvindex_size
00821810 t tpm20_pcr_reset
008219e0 t tpm20_get_random
00821b70 t tpm20_unseal
00822060 t tpm20_seal
00822470 t tpm20_nv_write
00822750 t tpm20_nv_read
00822a70 t tpm20_hash
008231d0 t tpm20_pcr_extend
00823540 t tpm20_cap_pcrs
008236d0 t tpm20_pcr_read
00823980 t tpm20_init
00824140 t sha256_compress
00825d60 T sha256_init
00825dc0 T sha256_done
00825f50 T sha256_process
00826050 T sha256_buffer
008260ec A _etext
0082619c r g_linux_cmdline_options
008261c0 r g_tboot_cmdline_options
00826220 r g_loglvl_map
00826250 r gdt_table.1843
008262a0 R _ctype
008263e1 r _def_policy
00826420 r g_policy_map
008265d0 r _def_policy_da
00826600 r Td0
00826a00 r Td1
00826e00 r Td2
00827200 r Td3
00827600 r Td4
00827a00 r Te0
00827e00 r Te1
00828200 r Te2
00828600 r Te3
00828a00 r Te4
00828e00 r rcon
00828e6c r types.3458
00828e80 R p64
00828e88 R m62
00828e90 R m63
00828e98 R m64
00828ea0 R mpoly
00829094 r mem_types.2581
008290bd r srk_authdata
008290d1 r blob_authdata
008290e5 r localities.2201
0082923c r auth_str
00831000 A _mle_end
00831000 D s3_flag
00831004 d g_hide_dmar
00831020 D g_com_port
00831060 d sealed_pre_k_state
00831860 d sealed_pre_k_state_size
00831880 d sealed_post_k_state
00832080 d sealed_post_k_state_size
008320a0 D g_pre_k_s3_state
00834174 D g_post_k_s3_state
008341a0 D post_launch_pcr17
008341e0 D post_launch_pcr18
00834220 d g_policy
00834240 d buf.1786
00834280 D g_log_level
00834281 D g_log_targets
00834284 D g_log
00834288 d last_line_cr.1134
008342a0 D g_loader_ctx
008342a8 D g_ldr_ctx
008342ac D g_mb_orig_size
008342c0 d g_saved_s3_wakeup_page
008352c0 D g_tpm
008352c4 D tboot_alg_list
008352c8 d cursor_x
008352c9 d cursor_y
008352cc d num_lines
008352d0 d g_saved_mtrrs
008352d4 D g_using_da
008352d8 D g_sinit
008352dc d g_elog
008352e0 d g_elog_2
00835300 D tpm_12_if
00835480 D hash_sizes
008354a0 D tpm_20_if
00835620 d handle2048
00836000 D _tboot_shared
00837000 A __bss_start
00837000 b bsp_stack_end
00838000 b ap_stacks_end
00838000 b bsp_stack
008b8000 b ap_stacks
008b8000 B idle_pg_table
008b9000 B host_vmcs
008ba000 B ap_vmcs
00aba000 B pdptr_table
00abb000 B pd_table
00abf000 b _real_mode_entry_point
00abf008 b rsdp
00abf00c b g_dmar_table
00abf020 B g_psbdf_enabled
00abf021 B g_pbbdf_enabled
00abf040 b g_tboot_param_values
00abf300 b g_linux_param_values
00abf3c0 B g_min_ram
00abf3c4 b efi_memmap_addr
00abf3c8 b efi_memmap_size
00abf3cc b g_nr_map
00abf3d0 b gdt_desc.1847
00abf3d8 b boot_params
00abf3e0 b mb2_temp
00abfbe0 b g_calibrated
00abfbe8 b g_ticks_per_millisec
00abfbf0 b cr0
00abfbf4 b cr4
00abfbf8 B pcicfg_mtx
00abfc00 b buf.3298
00abfc40 b buf.1774
00abfc60 b buf.1263
00abfc80 b buf.1764
00abfca0 b _policy_index_buf
00ac0300 b nv_buf
00ac1300 b print_lock
00ac1304 b no_err_idx
00ac1308 B g_vga_delay
00ac130c b printed_host_info.2199
00ac1310 b printed_msg.2160
00ac1314 B ap_wfs_count
00ac1318 b ilp_smm_mon_ctl.2810
00ac1320 b g_cpuid_ext_feat_info
00ac1324 b g_feat_ctrl_msr
00ac1328 B ap_lock
00ac132c B aps_exit_guest
00ac1330 b init_done.1620
00ac1334 b vmcs_rev_id
00ac1338 b pin_based_vm_exec_ctrls
00ac133c b proc_based_vm_exec_ctrls
00ac1340 b vm_exit_ctrls
00ac1344 b vm_entry_ctrls
00ac1360 b first_attempt.2806
00ac1380 b cmd_buf
00ac1680 b rsp_buf
00ac1980 B pw_session
00ac1a10 b first_attempt.4180
00ac1a20 b cmd_buf
00ac2a20 b rsp_buf
00ac3a20 A _end
