Searched refs:px_mmu_dvma_end (Results 1 – 1 of 1) sorted by relevance
58 ulong_t px_mmu_dvma_end = 0xfffffffful; variable230 px_dvma_range.dvma_base = (uint32_t)px_mmu_dvma_end + 1 in px_lib_dev_init()233 px_mmu_dvma_end - px_dvma_range.dvma_base + 1; in px_lib_dev_init()