IS_XKPHYS
if (IS_XKPHYS(va)) {
if (IS_XKPHYS(vaddr) && XKPHYS_TO_CCA(vaddr) == CCA_NC) {
if (IS_XKPHYS((vaddr_t)kva))
if (IS_XKPHYS(v))
if (IS_XKPHYS(va))
IS_XKPHYS(va) || ((va) >= CKSEG0_BASE && (va) < CKSEG1_BASE))
KASSERT(IS_XKPHYS(kva));
KASSERT(IS_XKPHYS(kva));
if (IS_XKPHYS(vaddr) && XKPHYS_TO_CCA(vaddr) == CCA_NC) {
if (IS_XKPHYS((vaddr_t)kva))