Lines Matching refs:pages
7 * converted Guest pages when running the Guest.
24 * We hold reference to pages, which prevents them from being swapped.
26 * to swap out. If we had this, and a shrinker callback to trim PTE pages, we
76 * Switcher code itself comes two pages for each CPU, and we don't want this
77 * CPU's guest to see the pages of any other CPU.
102 kill_guest(cpu, "attempt to access switcher pages");
124 kill_guest(cpu, "attempt to access switcher pages");
200 * get_pfn is slow: we could probably try to grab batches of pages here as
244 /* The Guest's pages are offset inside the Launcher. */
473 * we've seen that logic is quite long, and usually the stack pages are already
567 * virtual address (easy for kernel pages like this one).
959 /* Now we use the next linear_pages pages as pte pages */
1006 * The top level points to the linear page table pages above.
1014 * linear PTE pages.
1123 /* Throw away all page table pages. */
1133 * The Switcher and the two pages for this CPU need to be visible in the
1134 * Guest (and not the pages for other CPUs). We have the appropriate PTE pages
1138 void map_switcher_in_guest(struct lg_cpu *cpu, struct lguest_pages *pages)
1179 set_pte(&switcher_pte_page[pte_index((unsigned long)pages)], regs_pte);
1195 * Currently the Switcher is less than a page long, so "pages" is always 1.
1199 unsigned int pages)
1205 for (i = 0; i < pages; i++) {
1210 /* The only other thing we map is this CPU's pair of pages. */
1211 i = pages + cpu*2;
1242 __init int init_pagetables(struct page **switcher_page, unsigned int pages)
1252 populate_switcher_pte_page(i, switcher_page, pages);