vpa_is_registered
if (!vpa_is_registered(&tvcpu->arch.vpa))
if (vpa_is_registered(&tvcpu->arch.dtl) ||
vpa_is_registered(&tvcpu->arch.slb_shadow))