CCA_NONCOHERENT
#define CCA_CACHED CCA_NONCOHERENT
#define PG_CACHED_NC (CCA_NONCOHERENT << PG_CCA_SHIFT)
v = (vaddr_t)PHYS_TO_XKPHYS(v, CCA_NONCOHERENT);