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