__SANITISED_REG_START__
if (vcpu_has_nv((v)) && (r) >= __SANITISED_REG_START__) \
if (vcpu_has_nv((v)) && (r) >= __SANITISED_REG_START__) \
if (vcpu_has_nv((v)) && (r) >= __SANITISED_REG_START__) \
struct resx mask[NR_SYS_REGS - __SANITISED_REG_START__];
sr >= __SANITISED_REG_START__ && sr < NR_SYS_REGS))
return masks->mask[sr - __SANITISED_REG_START__];
arch->sysreg_masks->mask[sr - __SANITISED_REG_START__] = resx;
BUILD_BUG_ON(sr < __SANITISED_REG_START__);
for (enum vcpu_sysreg sr = __SANITISED_REG_START__; sr < NR_SYS_REGS; sr++)
if (reg >= __SANITISED_REG_START__)
if (reg >= __SANITISED_REG_START__)
if (r->reg < __SANITISED_REG_START__)
if (r->reg >= __SANITISED_REG_START__ && r->reg < NR_SYS_REGS)