SA_MAX_VA
while (segva < SA_MAX_VA) {
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))
va, SA_MIN_VA, SA_MAX_VA);
while (segva < SA_MAX_VA) {
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))
while (pa < SA_MAX_VA) {
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))