0000000000803000 A _mle_start
0000000000803000 T _start
0000000000803000 A _stext
0000000000803000 T start
0000000000803020 T _post_launch_entry
000000000080306f t layout_err
00000000008030a0 T __start
00000000008030f0 T vmx_asm_vmexit_handler
0000000000803100 T _mini_guest
0000000000803110 t compat_mode_entry
000000000080312a t shutdown_entry32
00000000008031b0 T shutdown_entry
00000000008031e2 t compatibility_mode_far
00000000008031f0 T _txt_wakeup
0000000000803250 T _prot_to_real
00000000008032a7 t int_handler
00000000008032b0 t gdt_descr
0000000000804000 T gdt_table
0000000000804008 t cs_descr
0000000000804010 t ds_descr
0000000000804018 t tss_descr
0000000000804020 t cs16_desc
0000000000804028 t ds16_desc
0000000000804040 T gdt_table_end
0000000000804040 t idt_descr
0000000000804048 t idt_table
0000000000804848 t idt_table_end
0000000000804848 t real_idt_desc
0000000000805000 T s3_wakeup_16
0000000000805020 t real_gdt_desc
0000000000805028 t real_gdt_table
0000000000805030 t real_cs_desc
0000000000805038 t real_ds_desc
0000000000805048 t real_gdt_table_end
0000000000805050 t s3_wakeup_32
0000000000805050 T s3_wakeup_end
0000000000805070 T mtx_init
0000000000805080 T mtx_enter
00000000008050a0 T mtx_leave
00000000008050b0 T set_s3_resume_vector
00000000008050f0 t read_from_reg
0000000000805200 t write_to_reg
0000000000805300 t dump_gas
00000000008053e0 T machine_sleep
00000000008054b0 T disable_smis
0000000000805510 t find_rsdp_in_range
00000000008055b0 t find_table
00000000008056f0 T get_acpi_mcfg_table
0000000000805700 T get_acpi_ioapic_table
0000000000805780 t get_vtd_dmar_table
0000000000805790 T remove_vtd_dmar_table
00000000008057f0 T save_vtd_dmar_table
0000000000805820 T restore_vtd_dmar_table
00000000008058c0 t parse_pci_bdf
0000000000805950 t get_option_val
00000000008059c0 T get_linux_mem
0000000000805a90 T get_linux_vga
0000000000805b60 T get_tboot_no_usb
0000000000805ba0 T get_tboot_vga_delay
0000000000805be0 T get_tboot_loglvl
0000000000805c20 T get_tboot_serial
0000000000805eb0 T get_tboot_log_targets
0000000000805f90 t cmdline_parse
0000000000806120 T linux_parse_cmdline
0000000000806140 T tboot_parse_cmdline
0000000000806160 T skip_filename
00000000008061e0 T g_cmdline
00000000008063e0 t comc_putchar
0000000000806410 T comc_puts
0000000000806470 T comc_init
00000000008065e0 t insert_after_region
00000000008066c0 t protect_region
0000000000806cc0 t is_overlapped
0000000000806ed0 T replace_e820_map
0000000000806ef0 T e820_protect_region
0000000000806f30 T get_highest_sized_ram
0000000000807090 T e820_reserve_ram
00000000008073f0 t print_map
0000000000807480 T print_e820_map
0000000000807490 T copy_e820_map
0000000000807660 T get_ram_ranges
0000000000807b20 T e820_check_region
0000000000807e20 T jump_elf_image
0000000000807e40 T is_elf_image
0000000000807f20 T expand_elf_image
0000000000807ff0 T copy_hash
0000000000808050 T print_hash
00000000008080b0 T hash_buffer
0000000000808110 T extend_hash
00000000008081d0 T are_hashes_equal
0000000000808250 T index
0000000000808280 t measure_memory_integrity
0000000000808670 t extend_pcrs
00000000008087f0 t seal_data
0000000000808940 T seal_post_k_state
0000000000808ac0 T seal_pre_k_state
0000000000808d10 t verify_sealed_data
0000000000808e60 T verify_integrity
00000000008091b0 T jump_linux_image
0000000000809200 T expand_linux_image
0000000000809840 T get_module
0000000000809880 T verify_mbi
00000000008098e0 T verify_modules
00000000008099b0 t find_module
0000000000809aa0 T find_module_by_file_signature
0000000000809ad0 T find_module_by_uuid
0000000000809b00 T is_kernel_linux
0000000000809b40 t remove_module
0000000000809be0 T remove_txt_modules
0000000000809ca0 T launch_kernel
0000000000809eb0 T memcmp
0000000000809ef0 T memcpy
000000000080a0c0 t wait_tsc_uip
000000000080a0f0 T print_hex
000000000080a170 T delay
000000000080a270 t get_pdptre
000000000080a280 t get_pde
000000000080a2e0 T map_pages_to_tboot
000000000080a380 T destroy_tboot_mapping
000000000080a3f0 T disable_paging
000000000080a410 t map_tboot_pages
000000000080a4b0 T enable_paging
000000000080a570 t pci_cfgenable
000000000080a5f0 t pci_cfgdisable
000000000080a600 T pcireg_cfgwrite
000000000080a6b0 T pcireg_cfgread
000000000080a730 T hash_policy
000000000080a7f0 T apply_policy
000000000080a930 t read_policy_from_tpm
000000000080aa30 t display_signature
000000000080ab30 t verify_tb_policy
000000000080b040 t calc_policy_data_hash
000000000080b190 T set_policy
000000000080bbe0 t verify_module
000000000080be10 T verify_all_modules
000000000080c0b0 t memlog_write
000000000080c140 T printk
000000000080c290 T printk_init
000000000080c3a0 T rijndaelKeySetupEnc
000000000080c6f0 T rijndaelKeySetupDec
000000000080c900 T rijndaelEncrypt
000000000080cd90 T rijndael_set_key_enc_only
000000000080cdd0 T rijndael_set_key
000000000080ce50 T rijndael_decrypt
000000000080d330 T rijndael_encrypt
000000000080d360 T sha1_init
000000000080d3a0 t sha1_step
000000000080d950 T sha1_loop
000000000080d9e0 T sha1_pad
000000000080dc10 T sha1_result
000000000080dcc0 T sha1_buffer
000000000080dd20 T strcmp
000000000080dd60 T strlen
000000000080dd80 T strncmp
000000000080ddd0 T strncpy
000000000080de20 T strtoul
000000000080e020 T write_tb_error_code
000000000080e090 T print_tb_error_msg
000000000080e1c0 T read_tb_error_code
000000000080e250 T was_last_boot_error
000000000080e2a0 T get_tboot_mem_end
000000000080e2b0 t is_launched
000000000080e2c0 T shutdown
000000000080e660 T handle_exception
000000000080e690 T cpu_wakeup
000000000080e6c0 T s3_launch
000000000080e800 T begin_launch
000000000080ef40 t _read_tpm_reg
000000000080ef80 t _write_tpm_reg
000000000080efc0 t check_sealed_data
000000000080f010 t tpm_validate_locality
000000000080f070 T release_locality
000000000080f130 T prepare_tpm
000000000080f150 t _tpm_submit_cmd
000000000080f720 T tpm_pcr_extend
000000000080f810 T tpm_cmp_creation_pcrs
000000000080fa50 t hmac
000000000080fb50 t tpm_get_capability
000000000080fca0 t tpm_get_flags
000000000080fd80 T is_tpm_ready
0000000000810020 T tpm_get_nvindex_size
0000000000810180 t tpm_osap
00000000008102c0 T tpm_seal
0000000000810e80 T tpm_unseal
0000000000811820 T tpm_pcr_read
00000000008118e0 T tpm_get_random
0000000000811a80 T tpm_get_version
0000000000811b80 T tpm_nv_write_value
0000000000811c90 T tpm_save_state
0000000000811d60 T tpm_pcr_reset
0000000000811e20 T tpm_nv_read_value
0000000000811f80 T vga_init
0000000000811fe0 T vga_puts
0000000000812190 t poly_step_func
0000000000812420 T vhash_abort
0000000000812460 t l3hash
0000000000812830 T vhash_update
0000000000812e50 T xvhash
0000000000813270 T vhash
0000000000813f50 T vmac_set_key
00000000008141d0 T vmac
0000000000814300 t write_char_to_buffer
0000000000814330 t write_pads_to_buffer
0000000000814380 t write_string_to_buffer
0000000000814460 t int2str
0000000000814730 T vscnprintf
0000000000814b40 T snprintf
0000000000814b70 T print_txt_caps
0000000000814bf0 t get_acmod_info_table
0000000000814cc0 T get_sinit_capabilities
0000000000814d00 T get_supported_os_sinit_data_ver
0000000000814d20 t get_acmod_chipset_list
0000000000814e10 T does_acmod_match_chipset
0000000000814f70 T is_sinit_acmod
00000000008151f0 T verify_acmod
0000000000815850 T copy_sinit
00000000008159c0 T txt_get_error
0000000000815b10 T verify_bios_data
0000000000815d00 T print_os_sinit_data
0000000000815e70 T verify_txt_heap
0000000000816540 t get_page_type
0000000000816660 t get_region_type
00000000008166e0 T set_all_mtrrs
0000000000816710 T set_mem_type
0000000000816890 t print_mtrrs
0000000000816950 T validate_mtrrs
0000000000816e70 T save_mtrrs
0000000000816f10 T restore_mtrrs
0000000000816f90 T set_mtrrs_for_acmod
0000000000817040 T txt_is_launched
0000000000817050 T get_parameters
00000000008171d0 T find_lcp_module
0000000000817300 T txt_launch_environment
0000000000817a30 T txt_is_powercycle_required
0000000000817a40 T txt_prepare_cpu
0000000000817c70 T txt_cpu_wakeup
0000000000817d50 T txt_post_launch
0000000000818080 T txt_s3_launch_environment
0000000000818120 T txt_shutdown
0000000000818240 T txt_protect_mem_regions
0000000000818400 t g_mle_hdr
0000000000818440 t print_mseg_hdr
0000000000818500 T set_vtd_pmrs
0000000000818600 T supports_txt
0000000000818790 T verify_e820_map
00000000008189b0 T txt_verify_platform
0000000000818a10 T verify_stm
0000000000818c30 T txt_post_launch_verify_platform
0000000000819010 T force_aps_exit
0000000000819020 t stop_vmx
00000000008190b0 t init_vmx_ctrl
0000000000819110 T handle_init_sipi_sipi
00000000008197c0 T vmx_vmexit_handler
0000000000819944 A _etext
00000000008199fc r g_linux_cmdline_options
0000000000819a20 r g_tboot_cmdline_options
0000000000819a50 r pcr_indcs_release.1761
0000000000819a52 r pcr_indcs_create.1760
0000000000819a54 r pcr_indcs_release.1644
0000000000819a56 r pcr_indcs_create.1643
0000000000819a60 r gdt_table.1535
0000000000819a80 R _ctype
0000000000819bc1 r _def_policy
0000000000819be0 r g_policy_map
0000000000819d78 r sig_alg_str.1941
0000000000819d80 r elt_type_str.1925
0000000000819da0 r Td0
000000000081a1a0 r Td1
000000000081a5a0 r Td2
000000000081a9a0 r Td3
000000000081ada0 r Td4
000000000081b1a0 r Te0
000000000081b5a0 r Te1
000000000081b9a0 r Te2
000000000081bda0 r Te3
000000000081c1a0 r Te4
000000000081c5a0 r rcon
000000000081c5c8 r _K
000000000081c618 r types.2439
000000000081c62c r srk_authdata
000000000081c640 r blob_authdata
000000000081c654 r localities.2103
000000000081c660 R p64
000000000081c668 R m62
000000000081c670 R m63
000000000081c678 R m64
000000000081c680 R mpoly
000000000081c81c r mem_types.1694
0000000000822000 A _mle_end
0000000000822000 D s3_flag
0000000000822004 D g_no_usb
0000000000822005 d g_hide_dmar
0000000000822020 D g_com_port
0000000000822060 d sealed_pre_k_state
0000000000822260 d sealed_pre_k_state_size
0000000000822280 d sealed_post_k_state
0000000000822480 d sealed_post_k_state_size
0000000000822484 d post_launch_pcr17
0000000000822498 d post_launch_pcr18
00000000008224c0 D g_pre_k_s3_state
0000000000822924 D g_post_k_s3_state
0000000000822940 d g_policy
0000000000822960 d buf.1815
0000000000822980 d buf.1364
00000000008229c0 D g_log_level
00000000008229c1 D g_log_targets
00000000008229c4 D g_log
00000000008229c8 d last_line_cr.1164
00000000008229e0 D g_mbi
0000000000822a00 d g_saved_s3_wakeup_page
0000000000823a00 d g_timeout
0000000000823a10 d cursor_x
0000000000823a11 d cursor_y
0000000000823a14 d num_lines
0000000000823a18 d g_saved_mtrrs
0000000000824000 D _tboot_shared
0000000000825000 A __bss_start
0000000000825000 b bsp_stack_end
0000000000826000 b ap_stacks_end
0000000000826000 b bsp_stack
0000000000836000 b ap_stacks
0000000000836000 B idle_pg_table
0000000000837000 B host_vmcs
0000000000838000 B ap_vmcs
0000000000878000 B pdptr_table
0000000000879000 B pd_table
000000000087d000 b _real_mode_entry_point
000000000087d008 b rsdp
000000000087d00c b g_dmar_table
000000000087d020 B g_psbdf_enabled
000000000087d021 B g_pbbdf_enabled
000000000087d040 b g_tboot_param_values
000000000087d1c0 b g_linux_param_values
000000000087d280 b g_nr_map
000000000087d284 b gdt_desc.1539
000000000087d28c b boot_params
000000000087d290 b g_calibrated
000000000087d298 b g_ticks_per_millisec
000000000087d2a0 b cr0
000000000087d2a4 b cr4
000000000087d2a8 B pcicfg_mtx
000000000087d2c0 b buf.2534
000000000087d300 b buf.1269
000000000087d320 b buf.1358
000000000087d340 b buf.1352
000000000087d360 b _policy_index_buf
000000000087d7ac b print_lock
000000000087d7b0 b no_err_idx
000000000087d7c0 b first_attempt.2531
000000000087d7e0 b cmd_buf
000000000087dae0 b rsp_buf
000000000087dde0 B g_vga_delay
000000000087dde4 B ap_wfs_count
000000000087dde8 b ilp_smm_mon_ctl.2462
000000000087ddf0 b g_cpuid_ext_feat_info
000000000087ddf4 b g_feat_ctrl_msr
000000000087ddf8 B ap_lock
000000000087ddfc B aps_exit_guest
000000000087de00 b init_done.1620
000000000087de04 b vmcs_rev_id
000000000087de08 b pin_based_vm_exec_ctrls
000000000087de0c b proc_based_vm_exec_ctrls
000000000087de10 b vm_exit_ctrls
000000000087de14 b vm_entry_ctrls
000000000087de18 A _end
