VEB_R_F_SPA
SET(vr.vr_flags, VEB_R_F_SPA);
if (ISSET(vr->vr_flags, VEB_R_F_SPA)) {
if (ISSET(vr->vr_flags, VEB_R_F_SPA) &&