| /seL4-camkes-master/kernel/include/kernel/ |
| H A D | vspace.h | 12 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr);
|
| /seL4-camkes-master/kernel/libsel4/include/sel4/ |
| H A D | syscalls.h | 220 * @param[in] frame_cptr A capability pointer to a user allocated frame of seL4_LargePage size.
221 * @return A `seL4_IllegalOperation` error if `frame_cptr` is not valid and couldn't set the buffer.
225 seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr);
|
| /seL4-camkes-master/kernel/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 660 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
667 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
670 userError("Invalid cap #%lu.", frame_cptr);
671 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
678 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
687 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|
| /seL4-camkes-master/kernel/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 1625 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
1632 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
1635 userError("Invalid cap #%lu.", frame_cptr);
1636 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
1643 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
1652 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|
| /seL4-camkes-master/kernel/src/arch/riscv/kernel/ |
| H A D | vspace.c | 1183 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
1190 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
1193 userError("Invalid cap #%lu.", frame_cptr);
1194 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
1201 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
1210 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|
| /seL4-camkes-master/kernel/libsel4/arch_include/arm/sel4/arch/ |
| H A D | syscalls.h | 693 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) argument
701 arm_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &unused2, &unused3,
704 return (seL4_Error) frame_cptr;
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| H A D | syscalls.h | 938 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) argument
944 x86_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, MCS_COND(0, &unused2));
946 return (seL4_Error) frame_cptr;
|
| /seL4-camkes-master/kernel/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/ |
| H A D | syscalls.h | 715 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) argument
723 x64_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &unused2, &unused3,
726 return (seL4_Error) frame_cptr;
|
| /seL4-camkes-master/kernel/libsel4/arch_include/riscv/sel4/arch/ |
| H A D | syscalls.h | 895 LIBSEL4_INLINE_FUNC seL4_Error seL4_BenchmarkSetLogBuffer(seL4_Word frame_cptr) argument
903 riscv_sys_send_recv(seL4_SysBenchmarkSetLogBuffer, frame_cptr, &frame_cptr, 0, &unused0, &unused1, &unused2, &unused3,
906 return (seL4_Error) frame_cptr;
|
| /seL4-camkes-master/kernel/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 2721 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
2728 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
2731 userError("Invalid cap #%lu.", frame_cptr);
2732 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2739 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2748 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|
| /seL4-camkes-master/kernel/src/arch/arm/64/kernel/ |
| H A D | vspace.c | 2530 exception_t benchmark_arch_map_logBuffer(word_t frame_cptr) argument
2537 lu_ret = lookupCapAndSlot(NODE_STATE(ksCurThread), frame_cptr);
2540 userError("Invalid cap #%lu.", frame_cptr);
2541 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2548 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
2557 current_fault = seL4_Fault_CapFault_new(frame_cptr, false);
|