NR_SYS_REGS
(r) >= NR_SYS_REGS); \
struct resx mask[NR_SYS_REGS - __SANITISED_REG_START__];
sr >= __SANITISED_REG_START__ && sr < NR_SYS_REGS))
u64 sys_regs[NR_SYS_REGS];
BUILD_BUG_ON(sr >= NR_SYS_REGS);
for (enum vcpu_sysreg sr = __SANITISED_REG_START__; sr < NR_SYS_REGS; sr++)
if (r->reg >= __SANITISED_REG_START__ && r->reg < NR_SYS_REGS)
BUG_ON(r->reg >= NR_SYS_REGS);
BUG_ON(r->reg >= NR_SYS_REGS);