PX_HAS_REDZONE
uint32_t redzone_sz = PX_HAS_REDZONE(mp) ? MMU_PAGE_SIZE : 0;
ASSERT(npages + PX_HAS_REDZONE(mp) <= clustsz);
ASSERT(PX_HAS_REDZONE(mp));
if ((npages == 1) && !PX_HAS_REDZONE(mp) && PX_HAS_NOSYSLIMIT(mp)) {
MMU_PTOB(npages + PX_HAS_REDZONE(mp)),
MMU_PTOB(npages + PX_HAS_REDZONE(mp)));
size_t npages = MMU_BTOP(mp->dmai_winsize) + PX_HAS_REDZONE(mp);
#define PX_DMA_CANFAST(mp) (((mp)->dmai_ndvmapages + PX_HAS_REDZONE(mp) \
#define PX_DMA_CANCACHE(mp) (!PX_HAS_REDZONE(mp) && \
if ((mp->dmai_ndvmapages + PX_HAS_REDZONE(mp)) > px_dvma_page_cache_clustsz) \
ASSERT(PX_HAS_REDZONE(mp));
ASSERT(PX_HAS_REDZONE(mp));