Searched refs:newPageDirectoryAddress (Results 1 – 1 of 1) sorted by relevance
150 phys_addr_t newPageDirectoryAddress = in arch_thread_context_switch() local153 if (oldPageDirectoryAddress != newPageDirectoryAddress) { in arch_thread_context_switch()156 oldPageDirectoryAddress, newPageDirectoryAddress); in arch_thread_context_switch()157 arm_swap_pgdir(newPageDirectoryAddress); in arch_thread_context_switch()