PMAP_CACHE_DEV
PMAP_CACHE_WB : PMAP_CACHE_DEV;
PMAP_CACHE_DEV);
case PMAP_CACHE_DEV:
cache = PMAP_CACHE_DEV;