HP 2730p - EliteBook - Core 2 Duo 1.86 GHz Manual page 14

TBOOT: entry[1] sig = HPET @ 0x3a7fb000
TBOOT: entry[2] sig = APIC @ 0x3a7fa000
TBOOT: entry[3] sig = MCFG @ 0x3a7f9000
TBOOT: acpi_table_mcfg @ 3a7f9000, .base_address = e0000000
TBOOT: mtrr_def_type: e = 1, fe = 1, type = 0
TBOOT: mtrrs:
TBOOT: base
TBOOT: 0ffe00 fffe00 05
TBOOT: 000000
TBOOT: 03f000 fff000 00
TBOOT: 03a570 fffff0
TBOOT: 000000
TBOOT: 000000
TBOOT: 000000
TBOOT: max_ram=3a800000
TBOOT: begin verifying vtd_dmar ...
TBOOT: RSDP (v002 HPQOEM) @ 0x000f6910
TBOOT: Seek in XSDT...
TBOOT: entry[0] sig = FACP @ 0x3a7fc000
TBOOT: entry[1] sig = HPET @ 0x3a7fb000
TBOOT: entry[2] sig = APIC @ 0x3a7fa000
TBOOT: entry[3] sig = MCFG @ 0x3a7f9000
TBOOT: entry[4] sig = TCPA @ 0x3a7f7000
TBOOT: entry[5] sig = SSDT @ 0x3a7de000
TBOOT: entry[6] sig = SSDT @ 0x3a7dd000
TBOOT: entry[7] sig = SLIC @ 0x3a7da000
TBOOT: entry[8] sig = DMAR @ 0x3a7d9000
TBOOT: acpi_dmar = 3a7d9000
TBOOT: VT-d DMAR table OK
TBOOT: saved IA32_MISC_ENABLE = 0x64972481
TBOOT: mle_join.entry_point = 1003120
TBOOT: mle_join.seg_sel = 8
TBOOT: mle_join.gdt_base = 1004000
TBOOT: mle_join.gdt_limit = 37
TBOOT: joining RLPs to MLE with MONITOR wakeup
TBOOT: rlp_wakeup_addr = 0x3aa01948
TBOOT: cpu 1 waking up from TXT sleep
TBOOT: waiting for all APs (1) to enter wait-for-sipi...
TBOOT: enabling SMIs on cpu 1
TBOOT: .VMXON done for cpu 1
TBOOT:
TBOOT: launching mini-guest for cpu 1
TBOOT:
mask type v
1
fc0000 06
1
00 1
000000
000000
000000
1
00 0
00 0
00 0
14