MAXVA 44 kernel/memlayout.h #define TRAMPOLINE (MAXVA - PGSIZE) MAXVA 100 kernel/vm.c if(va >= MAXVA) MAXVA 126 kernel/vm.c if(va >= MAXVA) MAXVA 350 kernel/vm.c if(va0 >= MAXVA) MAXVA 2146 user/usertests.c volatile uint64 a = MAXVA; MAXVA 2706 user/usertests.c while ((uint64)p < MAXVA-(1<<30)) {