Searched refs:disabled_pagefault_entry (Results 1 - 8 of 8) sorted by relevance
/barrelfish-master/lib/barrelfish/arch/aarch64/ |
H A D | entry.S | 25 .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 D | dispatch.c | 32 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 D | entry.S | 19 .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 D | dispatch.c | 26 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 D | entry.S | 19 .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 D | dispatch.c | 25 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 D | entry.S | 25 .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 D | dispatch.c | 31 extern void disabled_pagefault_entry(void); 244 disp->d.dispatcher_pagefault_disabled = (lvaddr_t)disabled_pagefault_entry;
|
Completed in 211 milliseconds