VM_REG_GUEST_SEPC
if (error || reg != VM_REG_GUEST_SEPC)
case VM_REG_GUEST_SEPC:
error = vm_set_register(bsp, VM_REG_GUEST_SEPC, elr);
error = vm_set_register(newvcpu, VM_REG_GUEST_SEPC,