PTBL_HOLD
pte_remove(pmap, va, PTBL_HOLD);
#define PTBL_HOLD_FLAG(pmap) (((pmap) == kernel_pmap) ? PTBL_HOLD : PTBL_UNHOLD)