VM_REG_GUEST_PC
if (error || reg != VM_REG_GUEST_PC)
case VM_REG_GUEST_PC:
error = vm_set_register(bsp, VM_REG_GUEST_PC, elr);
error = vm_set_register(newvcpu, VM_REG_GUEST_PC,
{ .id = VM_REG_GUEST_PC, .size = 8 },
#define GDB_PC_REGNAME VM_REG_GUEST_PC