Searched refs:disp_pagefault (Results 1 - 6 of 6) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Dentry.S24 .extern disp_run, disp_pagefault, disp_pagefault_disabled, disp_trap
44 b disp_pagefault
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dentry.S24 .extern disp_run, disp_pagefault, disp_pagefault_disabled, disp_trap
72 branch disp_pagefault
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dentry.S39 call disp_pagefault // handle activation in C
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dentry.S34 callq disp_pagefault // handle activation in C
H A Dldt.c473 void disp_pagefault(dispatcher_handle_t handle, lvaddr_t fault_address,
504 disp_pagefault(handle, fault_address, error, regs->rip);
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddispatch.c49 void disp_pagefault(dispatcher_handle_t handle, lvaddr_t fault_address,
321 void disp_pagefault(dispatcher_handle_t handle, lvaddr_t fault_address, function

Completed in 40 milliseconds