Symbol: wresx
arch/arm64/kvm/emulate-nested.c
2169
wresx = wmasks->res0 | wmasks->res1;
arch/arm64/kvm/emulate-nested.c
2175
if ((BIT(tc.bit) & rresx) && (!wmasks || (BIT(tc.bit) & wresx)))