FENCE_REQ_VMA
KASSERT((pending & ~(FENCE_REQ_I | FENCE_REQ_VMA)) == 0,
if (pending & FENCE_REQ_VMA)
FENCE_REQ_VMA);