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

TBOOT: shutdown_entry32: 0x010030a0
TBOOT: shutdown_entry64: 0x010030f0
TBOOT: shutdown_type: 0
TBOOT: s3_tb_wakeup_entry: 0x0008a000
TBOOT: s3_k_wakeup_entry: 0x00000000
TBOOT: &acpi_sinfo: 0x0101c02c
TBOOT: tboot_base: 0x01003000
TBOOT: tboot_size: 0x30b9c
TBOOT: g_log:
TBOOT: uuid={0xc0192526, 0x6b30, 0x4db4, 0x844c,
{0xa3, 0xe9, 0x53, 0xb8, 0x81, 0x74}}
TBOOT: max_size=4fe4
TBOOT: curr_pos=43a6
TBOOT: transfering control to xen @0x00100000...
TBOOT: cpu 1 waking up, SIPI vector=8c000
18