vlapic_read
(void) vlapic_read(vlapic, off & ~0xf, &raw);
valid = vlapic_read(vlapic, APIC_OFFSET_ICR_HI, &high);
valid = vlapic_read(vlapic, APIC_OFFSET_ICR_LOW, &low);
if (!vlapic_read(vlapic, reg, (uint32_t *)&out)) {