| /seL4-refos-master/libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | util.h | 25 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr == 1 || fsr == 2 || fsr == 5);
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/riscv/sel4utils/arch/ |
| H A D | util.h | 25 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr == 1 || fsr == 2 || fsr == 5);
|
| /seL4-refos-master/libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | util.h | 25 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(1))) == 0;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/arch_include/x86/sel4utils/arch/ |
| H A D | util.h | 25 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(1))) == 0;
|
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
| H A D | util.h | 24 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(6))) == 0;
28 return (fsr & (BIT(11))) == 0;
|
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
| H A D | util.h | 24 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(6))) == 0;
28 return (fsr & (BIT(11))) == 0;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch32/sel4utils/sel4_arch/ |
| H A D | util.h | 24 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(6))) == 0;
28 return (fsr & (BIT(11))) == 0;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/arm_hyp/sel4utils/sel4_arch/ |
| H A D | util.h | 24 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
26 return (fsr & (BIT(6))) == 0;
28 return (fsr & (BIT(11))) == 0;
|
| /seL4-refos-master/libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
| H A D | util.h | 23 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
24 return (fsr & (BIT(6))) == 0;
|
| /seL4-refos-master/projects/seL4_libs/libsel4utils/sel4_arch_include/aarch64/sel4utils/sel4_arch/ |
| H A D | util.h | 23 seL4_Word fsr = seL4_GetMR(seL4_VMFault_FSR); local
24 return (fsr & (BIT(6))) == 0;
|
| /seL4-refos-master/projects/refos/impl/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 44 seL4_Word fsr; member in struct:procserv_vmfault_msg
60 f->faultAddr, f->pc, f->fsr);
276 f->faultAddr, f->pc, f->fsr);
375 vmfault.fsr = seL4_GetMR(seL4_VMFault_FSR);
|
| /seL4-refos-master/apps/process_server/src/dispatchers/ |
| H A D | fault_handler.c | 44 seL4_Word fsr; member in struct:procserv_vmfault_msg
60 f->faultAddr, f->pc, f->fsr);
276 f->faultAddr, f->pc, f->fsr);
375 vmfault.fsr = seL4_GetMR(seL4_VMFault_FSR);
|
| /seL4-refos-master/libs/libmuslc/arch/microblaze/bits/ |
| H A D | signal.h | 17 unsigned long pc, msr, ear, esr, fsr; member in struct:sigcontext::__anon189
|
| /seL4-refos-master/kernel/libsel4/include/sel4/ |
| H A D | deprecated.h | 38 seL4_Word fsr; member in struct:__anon36::__anon37
|
| /seL4-refos-master/libs/libsel4/include/sel4/ |
| H A D | deprecated.h | 38 seL4_Word fsr; member in struct:__anon107::__anon108
|