GUEST_FAIL
GUEST_FAIL("Could not get timer %d", timer);
GUEST_FAIL("MMIO instruction should not retire");
GUEST_FAIL("MMIO instruction should not retire");
GUEST_FAIL("Took unexpected SError exception");
GUEST_FAIL("Should've taken pending SError exception");
GUEST_FAIL("Load on S1PTW abort should not retire");
GUEST_FAIL("Unexpected data abort at PC: %lx\n", regs->pc);
GUEST_FAIL("Should've taken unmasked SError exception");
GUEST_FAIL("Should've taken pending SError exception");
GUEST_FAIL("Unexpected stage = %u", stage);
GUEST_FAIL("Unexpected stage = %u", stage);
GUEST_FAIL("Unexpected dabt, far_el1 = 0x%lx", read_sysreg(far_el1));
GUEST_FAIL("Unexpected iabt, pc = 0x%lx", regs->pc);
GUEST_FAIL("Poison not protected by SEA: gva=%#lx, guest_data=%#lx\n",
GUEST_FAIL("Could not get timer %d\n", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Unexpected timer type = %u", timer);
GUEST_FAIL("Couldn't find an ITS BASER of type %u", type);
GUEST_FAIL("Unhandled exception '0x%lx' at guest RIP '0x%lx'",
GUEST_FAIL("Invalid size = %u", size);
GUEST_FAIL("Invalid size = %u", size);
GUEST_FAIL("Unexpected resume after VMMCALL");
GUEST_FAIL("Received \"bad\" IPI; ICR MMIO write should have been ignored");