Searched refs:demand_page (Results 1 - 3 of 3) sorted by relevance
/linux-4.1.27/drivers/lguest/ |
H A D | page_tables.c | 393 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 D | lg.h | 195 bool demand_page(struct lg_cpu *cpu, unsigned long cr2, int errcode,
|
/linux-4.1.27/drivers/lguest/x86/ |
H A D | core.c | 398 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