kvtophys
#define kvtophys(_v_) ((paddr_t)(_v_) & ~0x80000000)
kvtophys(vaddr_t kva)
#define kvtophys(va) \
#define kvtophys(va) kvtophys0((vaddr_t) (va))