| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace.c | 659 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) in benchmark_arch_map_logBuffer() argument
666 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr); in benchmark_arch_map_logBuffer()
669 userError("Invalid cap #%lu.", frame_cptr); in benchmark_arch_map_logBuffer()
670 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
677 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
686 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
|
| /seL4-master/include/kernel/ |
| A D | vspace.h | 12 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr);
|
| /seL4-master/libsel4/include/sel4/ |
| A D | syscalls.h | 225 seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr);
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | vspace.c | 1180 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) in benchmark_arch_map_logBuffer() argument
1187 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr); in benchmark_arch_map_logBuffer()
1190 userError("Invalid cap #%lu.", frame_cptr); in benchmark_arch_map_logBuffer()
1191 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
1198 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
1207 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | syscalls.h | 938 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) in seL4_BenchmarkSetLogBuffer() argument
944 …x86_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, M… in seL4_BenchmarkSetLogBuffer()
946 return (seL4_Error) frame_cptr; in seL4_BenchmarkSetLogBuffer()
|
| /seL4-master/libsel4/arch_include/arm/sel4/arch/ |
| A D | syscalls.h | 693 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) in seL4_BenchmarkSetLogBuffer() argument
701 …arm_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &… in seL4_BenchmarkSetLogBuffer()
704 return (seL4_Error) frame_cptr; in seL4_BenchmarkSetLogBuffer()
|
| /seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| A D | syscalls.h | 715 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) in seL4_BenchmarkSetLogBuffer() argument
723 …x64_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &… in seL4_BenchmarkSetLogBuffer()
726 return (seL4_Error) frame_cptr; in seL4_BenchmarkSetLogBuffer()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1622 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) in benchmark_arch_map_logBuffer() argument
1629 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr); in benchmark_arch_map_logBuffer()
1632 userError("Invalid cap #%lu.", frame_cptr); in benchmark_arch_map_logBuffer()
1633 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
1640 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
1649 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
|
| /seL4-master/libsel4/arch_include/riscv/sel4/arch/ |
| A D | syscalls.h | 895 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) in seL4_BenchmarkSetLogBuffer() argument
903 …riscv_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1,… in seL4_BenchmarkSetLogBuffer()
906 return (seL4_Error) frame_cptr; in seL4_BenchmarkSetLogBuffer()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 2519 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) in benchmark_arch_map_logBuffer() argument
2526 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr); in benchmark_arch_map_logBuffer()
2529 userError("Invalid cap #%lu.", frame_cptr); in benchmark_arch_map_logBuffer()
2530 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
2537 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
2546 current_fault = seL4_Fault_CapFault_new(frame_cptr, false); in benchmark_arch_map_logBuffer()
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 2667 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
2674 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
2677 userError("Invalid cap #%lu.", frame_cptr);
2678 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2685 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2694 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|