ismapped          170 kernel/defs.h  int             ismapped(pagetable_t, uint64);
ismapped          461 kernel/vm.c      if(ismapped(pagetable, va)) {