Searched refs:handle_pagefault (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/lib/pager/
H A Dpager.c30 static errval_t handle_pagefault(void *addr) function
37 printf("handle_pagefault: returning -- mapping exists already in pmap?\n");
39 printf("handle_pagefault: no mapping for address, allocating frame\n");
51 printf("handle_pagefault: returning -- did install page\n");
55 printf("handle_pagefault: invalid access to %p (< 0x%" PRIxLVADDR ")\n", addr, VSPACE_BEGIN);
70 err = handle_pagefault(addr);
/barrelfish-master/lib/demandpaging/
H A Ddemandpaging.c204 static errval_t handle_pagefault(lvaddr_t vaddr) function
275 err = handle_pagefault((lvaddr_t)addr);

Completed in 40 milliseconds