GPR_X0
GPR_X30 = GPR_X0 + 30,
#define GPR_X(n) (GPR_X0 + MIN(n, 30))
ASSYM(HYPCTX_GPR_X0, offsetof(struct hypctx, va_regs) + (GPR_X0 - VA_REGS_START - 1) * sizeof(uint64_t));