virtio_pci1: using 6 MSI-X vectors
vtblk0: Virtio: ncylinders at legacy maximum (16383), recalculating to 62415
vtblk0: Block size: 512
vtblk0: 30720MB (62914560 512 byte sectors: 16H 63S/T 16383C)
atkbdc0: <Keyboard controller (i8042)> port 0x64,0x60 irq 1 on acpi0
atkbd0: <AT Keyboard> irq 1 on atkbdc0
kbd0 at atkbd0
psm0: <PS/2 Mouse> irq 12 on atkbdc0
interrupt uses mplock: psm0
psm0: model IntelliMouse Explorer, device ID 4
sio0: <16550A-compatible COM port> port 0x3f8-0x3ff irq 4 on acpi0
sio0: type 16550A, console
ACPI: Enabled 2 GPEs in block 00 to 0F
rdrand0: No RdRand support.
orm0: <ISA Option ROM> at iomem 0xe8000-0xeffff on isa1
vga0: <Generic ISA VGA> at port 0x3c0-0x3df iomem 0xa0000-0xbffff on isa1
sio2: can't drain, serial port might not exist, disabling
hpt27xx: no controller detected.
CAM: Configuring 2 busses
CAM: finished configuring all busses
cd0 at ata1 bus 0 target 0 lun 0
cd0: <QEMU QEMU DVD-ROM 2.5+> Removable CD-ROM SCSI-0 device 
cd0: 16.000MB/s transfers
cd0: Attempt to query device size failed: NOT READY, Medium not present
Mounting root from hammer2:vbd0s1d
hammer2_mount: root devstr="vbd0s1d"
hammer2_mount: device="vbd0s1d" label="ROOT" rdonly=1
hammer2_ondisk: "/dev/vbd0s1d" zone=2 id=0 offset=0x0000000000000000 size=0x000000063f000000
hammer2_mount: hmp=0xfffff8008fae0000 pmp=0xfffff80090280000
DMA space used: 13580k, remaining available: 131072k
Mounting devfs
hammer2_mount: "vbd0s1d": no recovery needed
hammer2: enable read/write
HAMMER2: VOLDATA DUMP
HAMMER2: INITIATE SPANs
swap low/high-water marks set to 41940/62910
E0: ncpu=6 mycpuid=0 MachIntrABI.type=2 (ICU=1 IOAPIC=2) elcr_found=1
E0: hw ELCR=0x0c00 shadow LEVEL-bits=0x0c00 coherent=YES
E1: elcr_read_trigger(-1)=E (no panic: negative irq ACCEPTED, assert only checks irq<16)
E1: elcr_read_trigger(-22)=L vs elcr_read_trigger(10)=L -> ALIAS-PROVEN (1<<-22 materialized as 1<<10 on x86)
E1: hw still 0x0c00 (read path touches no ports)
E2: elcr_write_trigger(-27, LEVEL): hw0x4d0 0x00 -> 0x20 (bit5 SET), shadow trigger(5)=L
E2: restored: hw0x4d0=0x00 (was 0x00) trigger(5)=E (was E) ok=YES
R0: baseline trigger(5)=E trigger(7)=E hw=0x0c00 iters/thread=300000
R1: done=2 waited=2s lost_irq5=1827 lost_irq7=2158 (read-back mismatches = lost trigger-mode updates)
R1: final shadow trigger(5)=E (last written E) trigger(7)=E (last written E)
R2: restored: hw=0x0c00 (was 0x0c00) trigger(5)=E trigger(7)=E ok=YES
D1: raw outb flipped hw bit5: hw0x4d0=0x20 but elcr_read_trigger(5)=E -> kernel serves STALE shadow (no resync path exists; elcr_status read once at probe)
D2: after elcr_resume(): hw=0x0c00 baseline=0x0c00 repaired=YES (the dead function is exactly the missing fix)
E9: final hw=0x0c00 baseline=0x0c00 coherent=YES ticks=5736 -> guest HEALTHY