PVR_MIPS_PT_PAGE_COUNT
struct page *pt_pages[PVR_MIPS_PT_PAGE_COUNT];
dma_addr_t pt_dma_addr[PVR_MIPS_PT_PAGE_COUNT];
for (int page_nr = PVR_MIPS_PT_PAGE_COUNT - 1; page_nr >= 0; page_nr--) {
for (page_nr = 0; page_nr < PVR_MIPS_PT_PAGE_COUNT; page_nr++) {