diff options
| author | LD <luca@orpolo.org> | 2024-03-09 15:02:43 +0100 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2024-03-09 18:43:39 +0100 |
| commit | 8e726dc9abda7027922444a53eb3131c8e267666 (patch) | |
| tree | 2b35a7d0fe6a46ec5fc2806707cc79db68d5f7f3 /device/ds_routines.c | |
| parent | 346a380129e3ac30c1e86089a12ca63eec81e5e7 (diff) | |
| download | gnumach-8e726dc9abda7027922444a53eb3131c8e267666.tar.gz gnumach-8e726dc9abda7027922444a53eb3131c8e267666.tar.bz2 gnumach-8e726dc9abda7027922444a53eb3131c8e267666.zip | |
remove machine/machspl.h as it duplicates machine/spl.h
Message-ID: <20240309140244.347835-2-luca@orpolo.org>
Diffstat (limited to 'device/ds_routines.c')
| -rw-r--r-- | device/ds_routines.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c index d97d229e..439fc5b3 100644 --- a/device/ds_routines.c +++ b/device/ds_routines.c @@ -63,7 +63,7 @@ #include <mach/vm_param.h> #include <mach/notify.h> #include <machine/locore.h> -#include <machine/machspl.h> /* spl definitions */ +#include <machine/spl.h> /* spl definitions */ #include <ipc/ipc_port.h> #include <ipc/ipc_space.h> @@ -95,7 +95,7 @@ #include <device/device_emul.h> #include <device/intr.h> -#include <machine/machspl.h> +#include <machine/spl.h> #ifdef LINUX_DEV extern struct device_emulation_ops linux_block_emulation_ops; |