Lines Matching defs:kernel
470 * 1. The only existing pagetable is the kernel's
506 /* If it's pinned, then we can at least batch the kernel and
863 * kernel doesn't see any unexpected pinned pagetables.
1296 static void __xen_write_cr3(bool kernel, unsigned long cr3)
1301 trace_xen_mmu_write_cr3(kernel, cr3);
1308 WARN_ON(mfn == 0 && kernel);
1310 op.cmd = kernel ? MMUEXT_NEW_BASEPTR : MMUEXT_NEW_USER_BASEPTR;
1315 if (kernel) {
1362 * the Linux kernel and user-space are both in ring 3 while the
1589 * Like __va(), but returns address in the kernel mapping (which is
1608 /* Convert a machine address to kernel virtual */
1666 * Set up the initial kernel pagetable.
1671 * kernel has a physical mapping to start with - but that's enough to
1684 * mappings. Considering that on Xen after the kernel mappings we
1769 * attach it to, so make sure we just set kernel pgd.
1883 * PUD_SIZE. It may have done so, or it may have used a kernel space