00803000 A _mle_start
00803000 T _start
00803000 A _stext
00803000 T start
00803020 T _post_launch_entry
0080306f t layout_err
008030a0 T __start
008030f0 T vmx_asm_vmexit_handler
00803100 T _mini_guest
00803110 t compat_mode_entry
0080312a t shutdown_entry32
008031b0 T shutdown_entry
008031e2 t compatibility_mode_far
008031f0 T _txt_wakeup
00803250 T _prot_to_real
008032a7 t int_handler
008032b0 t gdt_descr
00804000 T gdt_table
00804008 t cs_descr
00804010 t ds_descr
00804018 t tss_descr
00804020 t cs16_desc
00804028 t ds16_desc
00804040 T gdt_table_end
00804040 t idt_descr
00804048 t idt_table
00804848 t idt_table_end
00804848 t real_idt_desc
00805000 T s3_wakeup_16
00805020 t real_gdt_desc
00805028 t real_gdt_table
00805030 t real_cs_desc
00805038 t real_ds_desc
00805048 t real_gdt_table_end
00805050 t s3_wakeup_32
00805050 T s3_wakeup_end
00805070 T mtx_init
00805080 T mtx_enter
008050a0 T mtx_leave
008050b0 T set_s3_resume_vector
008050f0 t dump_gas
008051d0 t write_to_reg
008052f0 t read_from_reg
00805420 T machine_sleep
00805500 T disable_smis
00805560 t find_rsdp_in_range
00805610 t find_table
00805760 T get_acpi_mcfg_table
00805770 T get_acpi_ioapic_table
008057f0 T remove_vtd_dmar_table
00805850 T save_vtd_dmar_table
00805880 T restore_vtd_dmar_table
00805920 T skip_filename
008059a0 t parse_pci_bdf
00805a30 t get_option_val
00805aa0 T get_linux_mem
00805b80 T get_linux_vga
00805c60 T get_tboot_no_usb
00805ca0 T get_tboot_vga_delay
00805ce0 T get_tboot_loglvl
00805d20 T get_tboot_serial
00805fc0 T get_tboot_log_targets
008060b0 t cmdline_parse
00806250 T linux_parse_cmdline
00806270 T tboot_parse_cmdline
008062a0 T g_cmdline
008064a0 T comc_puts
00806530 T comc_init
008066b0 t insert_after_region
00806770 t protect_region
00806cc0 T replace_e820_map
00806ce0 T e820_protect_region
00806cf0 T get_highest_sized_ram
00806e40 T print_e820_map
00806eb0 T e820_reserve_ram
00807220 T get_ram_ranges
008076e0 T e820_check_region
00807d00 T copy_e820_map
00807f10 T jump_elf_image
00807f30 T is_elf_image
00808020 T expand_elf_image
008080f0 T copy_hash
00808150 T print_hash
008081b0 T hash_buffer
00808220 T extend_hash
008082e0 T are_hashes_equal
00808350 T index
00808380 t measure_memory_integrity
008087b0 t seal_data
008088d0 T seal_post_k_state
00808a70 t extend_pcrs
00808be0 t verify_sealed_data
00808d30 T verify_integrity
00809060 T seal_pre_k_state
008092c0 T jump_linux_image
00809310 T expand_linux_image
008099a0 T get_module
008099e0 T verify_mbi
00809a50 T verify_modules
00809b30 t find_module
00809c20 T find_module_by_file_signature
00809c80 T find_module_by_uuid
00809cb0 T is_kernel_linux
00809cf0 t remove_module
00809db0 T remove_txt_modules
00809e80 T launch_kernel
0080a090 T memcmp
0080a0f0 T memcpy
0080a2a0 T delay
0080a3f0 T print_hex
0080a470 T map_pages_to_tboot
0080a5a0 T destroy_tboot_mapping
0080a630 T disable_paging
0080a650 t map_tboot_pages
0080a6f0 T enable_paging
0080a7c0 T pcireg_cfgwrite
0080a8d0 T pcireg_cfgread
0080a9c0 T hash_policy
0080aa80 t verify_module
0080acb0 T apply_policy
0080adb0 T verify_all_modules
0080b060 t read_policy_from_tpm
0080b170 t display_signature
0080b270 t calc_policy_data_hash
0080b3b0 T set_policy
0080cb50 t memlog_write
0080cbf0 T printk
0080cd50 T printk_init
0080ce60 T rijndaelKeySetupEnc
0080d1b0 T rijndaelKeySetupDec
0080d3f0 T rijndaelEncrypt
0080d8a0 T rijndael_set_key_enc_only
0080d8e0 T rijndael_set_key
0080d960 T rijndael_decrypt
0080de10 T rijndael_encrypt
0080de40 T sha1_init
0080de80 t sha1_step
0080e3e0 T sha1_pad
0080e620 T sha1_result
0080e6d0 T sha1_loop
0080e760 T sha1_buffer
0080e7f0 T strcmp
0080e830 T strlen
0080e850 T strncmp
0080e8a0 T strncpy
0080e8f0 T strtoul
0080eb10 T write_tb_error_code
0080eb80 T print_tb_error_msg
0080ecb0 T read_tb_error_code
0080ed40 T was_last_boot_error
0080ed90 T get_tboot_mem_end
0080eda0 T shutdown
0080f120 T handle_exception
0080f150 T s3_launch
0080f290 T cpu_wakeup
0080f2c0 T begin_launch
0080fa10 t tpm_validate_locality
0080fa60 t _tpm_submit_cmd
0080ffe0 T release_locality
00810050 T prepare_tpm
00810070 T tpm_get_version
00810180 T tpm_get_random
00810330 t tpm_get_capability
00810490 T tpm_get_nvindex_size
00810610 t tpm_get_flags
00810700 T is_tpm_ready
008109a0 t tpm_osap
00810ae0 T tpm_nv_write_value
00810be0 T tpm_nv_read_value
00810d40 T tpm_pcr_reset
00810e10 T tpm_pcr_extend
00810f10 T tpm_pcr_read
00810fd0 T tpm_save_state
008110b0 T tpm_cmp_creation_pcrs
00811350 t hmac
00811440 t _tpm_wrap_unseal
00811d10 T tpm_unseal
00811dd0 T tpm_seal
008129d0 T vga_init
00812a30 T vga_puts
00812be0 t poly_step_func
00812e20 T vhash_abort
00812e60 t l3hash
008131f0 T vhash_update
00813790 T xvhash
00813b90 T vhash
008147a0 T vmac_set_key
008149d0 T vmac
00814b00 t write_string_to_buffer
00814c10 t int2str
00814f10 T vscnprintf
00815310 T snprintf
00815340 t get_acmod_info_table
00815420 T get_sinit_capabilities
00815460 T get_supported_os_sinit_data_ver
00815480 t get_acmod_chipset_list
00815590 T does_acmod_match_chipset
008156e0 T print_txt_caps
00815760 T verify_acmod
00815df0 T is_sinit_acmod
00816070 T copy_sinit
00816200 T txt_get_error
00816340 T verify_bios_data
00816540 T print_os_sinit_data
008166b0 T verify_txt_heap
00816db0 t get_region_type
00816fd0 T restore_mtrrs
00817060 T set_all_mtrrs
008170a0 T set_mem_type
00817220 T set_mtrrs_for_acmod
008172d0 t print_mtrrs
00817390 T save_mtrrs
00817430 T validate_mtrrs
00817900 T txt_is_launched
00817910 T txt_is_powercycle_required
00817920 T get_parameters
00817aa0 T txt_shutdown
00817bc0 T txt_prepare_cpu
00817e00 T txt_protect_mem_regions
00817fd0 T txt_cpu_wakeup
008180a0 T txt_post_launch
008183e0 T txt_s3_launch_environment
00818450 T find_lcp_module
00818580 T txt_launch_environment
00818ca0 t g_mle_hdr
00818ce0 t print_mseg_hdr
00818da0 T verify_stm
00818fd0 T set_vtd_pmrs
008190d0 T supports_txt
00819280 T verify_e820_map
00819490 T txt_post_launch_verify_platform
00819880 T txt_verify_platform
008198e0 T force_aps_exit
008198f0 t stop_vmx
00819970 T handle_init_sipi_sipi
0081a050 T vmx_vmexit_handler
0081a1c8 A _etext
0081a27c r g_linux_cmdline_options
0081a2a0 r g_tboot_cmdline_options
0081a2d0 r gdt_table.1383
0081a300 R _ctype
0081a441 r _def_policy
0081a460 r g_policy_map
0081a5f8 r sig_alg_str.1785
0081a600 r elt_type_str.1769
0081a620 r Td0
0081aa20 r Td1
0081ae20 r Td2
0081b220 r Td3
0081b620 r Td4
0081ba20 r Te0
0081be20 r Te1
0081c220 r Te2
0081c620 r Te3
0081ca20 r Te4
0081ce20 r rcon
0081ce88 r types.2281
0081ce9c r srk_authdata
0081ceb0 r blob_authdata
0081cec4 r localities.1926
0081ced0 R p64
0081ced8 R m62
0081cee0 R m63
0081cee8 R m64
0081cef0 R mpoly
0081d08c r mem_types.1534
00824000 A _mle_end
00824000 D s3_flag
00824004 D g_no_usb
00824005 d g_hide_dmar
00824020 D g_com_port
00824060 d sealed_pre_k_state
00824260 d sealed_pre_k_state_size
00824280 d sealed_post_k_state
00824480 d sealed_post_k_state_size
00824484 d post_launch_pcr17
00824498 d post_launch_pcr18
008244c0 D g_pre_k_s3_state
00824924 D g_post_k_s3_state
00824940 d g_policy
00824960 d buf.1216
008249a0 D g_log_level
008249a1 D g_log_targets
008249a4 D g_log
008249a8 d last_line_cr.1015
008249c0 D g_mbi
008249e0 d g_saved_s3_wakeup_page
008259e0 d g_timeout
008259f0 d cursor_x
008259f1 d cursor_y
008259f4 d num_lines
008259f8 d g_saved_mtrrs
00826000 D _tboot_shared
00827000 A __bss_start
00827000 b bsp_stack_end
00828000 b ap_stacks_end
00828000 b bsp_stack
00838000 b ap_stacks
00838000 B idle_pg_table
00839000 B host_vmcs
0083a000 B ap_vmcs
0087a000 B pdptr_table
0087b000 B pd_table
0087f000 b _real_mode_entry_point
0087f008 b rsdp
0087f00c b g_dmar_table
0087f020 B g_psbdf_enabled
0087f021 B g_pbbdf_enabled
0087f040 b g_tboot_param_values
0087f1c0 b g_linux_param_values
0087f280 b g_nr_map
0087f284 b gdt_desc.1387
0087f28c b boot_params
0087f290 b g_calibrated
0087f298 b g_ticks_per_millisec
0087f2a0 b cr0
0087f2a4 b cr4
0087f2a8 B pcicfg_mtx
0087f2c0 b buf.2363
0087f300 b buf.1121
0087f320 b buf.1210
0087f340 b buf.1204
0087f360 b _policy_index_buf
0087f7ac b print_lock
0087f7b0 b no_err_idx
0087f7c0 b first_attempt.2341
0087f7e0 b cmd_buf
0087fae0 b rsp_buf
0087fde0 B g_vga_delay
0087fde4 B ap_wfs_count
0087fde8 b ilp_smm_mon_ctl.2301
0087fdf0 b g_cpuid_ext_feat_info
0087fdf4 b g_feat_ctrl_msr
0087fdf8 B ap_lock
0087fdfc B aps_exit_guest
0087fe00 b init_done.1472
0087fe04 b vmcs_rev_id
0087fe08 b pin_based_vm_exec_ctrls
0087fe0c b proc_based_vm_exec_ctrls
0087fe10 b vm_exit_ctrls
0087fe14 b vm_entry_ctrls
0087fe18 A _end
