ESR_ELx_FnV
return !(fsc == ESR_ELx_FSC_EXTABT && (esr & ESR_ELx_FnV));
ESR_ELx_FnV |
if (!(esr & ESR_ELx_FnV))
(esr & ESR_ELx_FnV) >> ESR_ELx_FnV_SHIFT);
if (esr & ESR_ELx_FnV) {
GUEST_ASSERT_EQ(esr & ESR_ELx_FnV, ESR_ELx_FnV);
GUEST_ASSERT_EQ(esr & ESR_ELx_FnV, 0);
if (!(esr & ESR_ELx_FnV)) {
far_invalid = esr & ESR_ELx_FnV;