diff options
Diffstat (limited to 'src/kernel/pipe.h')
| -rw-r--r-- | src/kernel/pipe.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kernel/pipe.h b/src/kernel/pipe.h index bcdfb86..24414f8 100644 --- a/src/kernel/pipe.h +++ b/src/kernel/pipe.h @@ -3,6 +3,6 @@ #include <stdbool.h> /* eventually transitions to PS_RUNNING */ -void pipe_joinqueue(struct handle *h, struct process *proc, void __user *pbuf, size_t pbuflen); +void pipe_joinqueue(Handle *h, Proc *proc, void __user *pbuf, size_t pbuflen); -void pipe_invalidate_end(struct handle *h); +void pipe_invalidate_end(Handle *h); |