Searched refs:px_dvma_debug_rec (Results 1 – 3 of 3) sorted by relevance
119 uint32_t px_dvma_debug_rec = 512; variable
76 extern uint32_t px_dvma_debug_rec;
1259 size_t sz = sizeof (struct px_dvma_rec) * px_dvma_debug_rec; in px_dvma_debug_init()1276 size_t sz = sizeof (struct px_dvma_rec) * px_dvma_debug_rec; in px_dvma_debug_fini()1323 if (++mmu_p->dvma_alloc_rec_index == px_dvma_debug_rec) in px_dvma_alloc_debug()1356 if (++mmu_p->dvma_free_rec_index == px_dvma_debug_rec) in px_dvma_free_debug()