Searched defs:kernel_aspace (Results 1 – 1 of 1) sorted by relevance
656 vmm_aspace_t *kernel_aspace = vmm_get_kernel_aspace(); in arch_mmu_unmap() local889 vmm_aspace_t *kernel_aspace = vmm_get_kernel_aspace(); in arch_mmu_context_switch() local