Lines Matching defs:kernel
490 * 1. The only existing pagetable is the kernel's
526 /* If it's pinned, then we can at least batch the kernel and
885 * kernel doesn't see any unexpected pinned pagetables.
1318 static void __xen_write_cr3(bool kernel, unsigned long cr3)
1323 trace_xen_mmu_write_cr3(kernel, cr3);
1330 WARN_ON(mfn == 0 && kernel);
1332 op.cmd = kernel ? MMUEXT_NEW_BASEPTR : MMUEXT_NEW_USER_BASEPTR;
1337 if (kernel) {
1384 * the Linux kernel and user-space are both in ring 3 while the
1617 * Like __va(), but returns address in the kernel mapping (which is
1636 /* Convert a machine address to kernel virtual */
1694 * Set up the initial kernel pagetable.
1699 * kernel has a physical mapping to start with - but that's enough to
1712 * mappings. Considering that on Xen after the kernel mappings we
1803 * attach it to, so make sure we just set kernel pgd.
1917 * PUD_SIZE. It may have done so, or it may have used a kernel space