PVH_ATTR_MASK
#define PVH_PV_MASK (~PVH_ATTR_MASK)
(((uintptr_t)(*(pvp))) & (uintptr_t)PVH_ATTR_MASK));\
PVH_ATTR_MASK + 1, /* align */
KASSERT((((uintptr_t)pv) & PVH_ATTR_MASK) == 0);