Searched refs:mmu_get_base (Results 1 – 7 of 7) sorted by relevance
47 pgd = (pgd_t *)mmu_get_base(); in mmu_read_first_level_page()58 unsigned long mmu_get_base(void) in mmu_get_base() function
121 unsigned long mmu_get_base(void) in mmu_get_base() function
74 pgd = ((pgd_t *)mmu_get_base()) + offset; in do_page_fault()
85 pgd = (pgd_t *)mmu_get_base() + offset; in user_gateway_init()
38 unsigned long mmu_get_base(void);
85 prev->pgd = (pgd_t *)mmu_get_base(); in switch_mmu()
411 pgd_k = ((pgd_t *) mmu_get_base()) + offset; in dma_alloc_init()