rmpadjust
if (!rmpadjust((unsigned long)page, RMP_PG_SIZE_4K, 1))
ret = rmpadjust((unsigned long)va, RMP_PG_SIZE_4K, attrs);
return rmpadjust((unsigned long)va, RMP_PG_SIZE_4K, attrs);