diff options
| author | dzwdz | 2023-01-25 20:56:36 +0100 |
|---|---|---|
| committer | dzwdz | 2023-01-25 20:56:36 +0100 |
| commit | c24a9376b4a048a3f9408df2d47eaad367459bd7 (patch) | |
| tree | 74388b8b575719ab94e6f8eed9ad834abe7ba36b /src/kernel/pipe.c | |
| parent | 93194f8645ecd9f280372ec99497ede5f0ce7cee (diff) | |
kernel: consolidate some header files
Diffstat (limited to 'src/kernel/pipe.c')
| -rw-r--r-- | src/kernel/pipe.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/kernel/pipe.c b/src/kernel/pipe.c index 3ac52d3..6325369 100644 --- a/src/kernel/pipe.c +++ b/src/kernel/pipe.c @@ -1,4 +1,3 @@ -#include <kernel/mem/virt.h> #include <kernel/panic.h> #include <kernel/pipe.h> #include <kernel/util.h> |