MAXVA              48 kernel/memlayout.h #define TRAMPOLINE (MAXVA - PGSIZE)
MAXVA             101 kernel/vm.c      if (va >= MAXVA)
MAXVA             127 kernel/vm.c      if (va >= MAXVA)
MAXVA             352 kernel/vm.c        if (va0 >= MAXVA)
MAXVA            2179 user/usertests.c   volatile uint64 a = MAXVA;
MAXVA            2783 user/usertests.c   while ((uint64)p < MAXVA - (1 << 30)) {