top 120 kern/vm/copyinout.c vaddr_t bot, top;
top 125 kern/vm/copyinout.c top = bot+len-1;
top 127 kern/vm/copyinout.c if (top < bot) {
top 137 kern/vm/copyinout.c if (top >= USERSPACETOP) {