Searched refs:pagefault_entry (Results 1 - 8 of 8) sorted by relevance

/barrelfish-master/lib/barrelfish/arch/aarch64/
H A Dentry.S25 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry
39 * void pagefault_entry(struct disp_priv *p, vaddr_t fault_addr,
42 pagefault_entry: label
H A Ddispatch.c31 extern void pagefault_entry(void);
261 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry;
/barrelfish-master/lib/barrelfish/arch/x86_64/
H A Dentry.S19 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry, lrpc_entry
28 // void pagefault_entry(vaddr_t fault_addr, uintptr_t error, vaddr_t ip)
30 pagefault_entry: label
H A Ddispatch.c25 extern void pagefault_entry(void);
43 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry;
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Dentry.S19 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry
29 // void pagefault_entry(disp ptr, vaddr_t fault_addr, uintptr_t error, vaddr_t ip)
31 pagefault_entry: label
H A Ddispatch.c24 extern void pagefault_entry(void);
40 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry;
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dentry.S25 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry
68 // void pagefault_entry(disp ptr, vaddr_t fault_addr, uintptr_t error, vaddr_t pc)
70 pagefault_entry: label
H A Ddispatch.c30 extern void pagefault_entry(void);
243 disp->d.dispatcher_pagefault = (lvaddr_t)pagefault_entry;

Completed in 52 milliseconds