is_memory_range
int is_memory_range(paddr_t, psize_t, psize_t);
allowed = is_memory_range(XKPHYS_TO_PHYS(v),
allowed = is_memory_range(CKSEG0_TO_PHYS(v),
allowed = is_memory_range(CKSEG1_TO_PHYS(v),
int is_memory_range(paddr_t, psize_t, psize_t);
int is_memory_range(paddr_t, psize_t, psize_t);