el2_visibility
EL2_REG_FILTERED(name, acc, rst, v, el2_visibility)
return el2_visibility(vcpu, rd) ?: fn(vcpu, rd);
if (el2_visibility(vcpu, rd) == 0 &&
if (el2_visibility(vcpu, rd) == 0 &&
if (el2_visibility(vcpu, rd) == 0 &&
TIMER_REG(CNTHP_CTL_EL2, el2_visibility),
TIMER_REG(CNTHP_CVAL_EL2, el2_visibility),
.visibility = el2_visibility, \