Searched refs:demand_page (Results 1 - 3 of 3) sorted by relevance

/linux-4.1.27/drivers/lguest/
H A Dpage_tables.c393 bool demand_page(struct lg_cpu *cpu, unsigned long vaddr, int errcode, demand_page() function
544 * pin_stack_pages() calls us here: we could simply call demand_page(), but as
575 * in the page tables, and if not, we call demand_page() with error code 2
582 if (!page_writable(cpu, vaddr) && !demand_page(cpu, vaddr, 2, &iomem)) pin_page()
922 * use it demand_page() will put the new entry in. We need to do this anyway:
966 * Otherwise kill it and we can demand_page() __guest_set_pte()
1023 * We already saw that demand_page() will fill in the shadow page tables when
1026 * fault and demand_page() will fix it up.
1067 * pagetables yet, so we set linear_pages to tell demand_page() to fake it
H A Dlg.h195 bool demand_page(struct lg_cpu *cpu, unsigned long cr2, int errcode,
/linux-4.1.27/drivers/lguest/x86/
H A Dcore.c398 if (demand_page(cpu, cpu->arch.last_pagefault, lguest_arch_handle_trap()
465 * deliver_trap() and demand_page(). After all those, we'll be ready to

Completed in 142 milliseconds