Lines Matching refs:cr3
151 * Check for trap from EFI32, and restore cr3 and rsp if so.
158 mov %rcx, %cr3
284 * On entering the kernel, we don't need to switch cr3
286 * But we mark the kernel's cr3 as "active".
287 * If, however, the invalid cr3 flag is set, we have to flush tlbs
290 * But: if global no_shared_cr3 is TRUE we do switch to the kernel's cr3
296 jz 1f /* skip cr3 reload from kernel */
300 mov %rcx, %cr3 /* load kernel cr3 */
317 11: mov %cr3, %rcx
318 mov %rcx, %cr3
369 * On exiting the kernel there's no need to switch cr3 since we're
371 * kernel. Nevertheless, we now mark the task's cr3 as active.
372 * But, if no_shared_cr3 is set, we do need to switch cr3 at this point.
379 mov %rcx, %cr3