Searched refs:disabled_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
47 * void disabled_pagefault_entry(struct disp_priv *p, vaddr_t fault_addr,
50 disabled_pagefault_entry: label
H A Ddispatch.c32 extern void disabled_pagefault_entry(void);
262 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_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
37 // void disabled_pagefault_entry(vaddr_t fault_addr, uintptr_t error, vaddr_t ip)
39 disabled_pagefault_entry: label
H A Ddispatch.c26 extern void disabled_pagefault_entry(void);
44 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry;
/barrelfish-master/lib/barrelfish/arch/x86_32/
H A Dentry.S19 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry
42 // void disabled_pagefault_entry(disp ptr, vaddr_t fault_addr, uintptr_t error, vaddr_t ip)
44 disabled_pagefault_entry: label
H A Ddispatch.c25 extern void disabled_pagefault_entry(void);
41 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry;
/barrelfish-master/lib/barrelfish/arch/arm/
H A Dentry.S25 .globl run_entry, pagefault_entry, disabled_pagefault_entry, trap_entry
76 // void disabled_pagefault_entry(disp ptr, vaddr_t fault_addr, uintptr_t error, vaddr_t pc)
78 disabled_pagefault_entry: label
H A Ddispatch.c31 extern void disabled_pagefault_entry(void);
244 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry;

Completed in 211 milliseconds