diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2023-01-19 14:22:12 -0500 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-01-19 23:32:30 +0100 |
| commit | 4a1be513c08971b69d80f00478ade68cb25e7d3b (patch) | |
| tree | 781ecf60fc7122b851223e94fded7e75454af077 /device/dev_pager.c | |
| parent | c7a84af651ae5cf2588c4a057564f9c2189846ef (diff) | |
| download | gnumach-4a1be513c08971b69d80f00478ade68cb25e7d3b.tar.gz gnumach-4a1be513c08971b69d80f00478ade68cb25e7d3b.tar.bz2 gnumach-4a1be513c08971b69d80f00478ade68cb25e7d3b.zip | |
Include mig generated device headers to avoid missing prototypes
Some of the existing definitions lacked the const qualifier, which was
added.
Message-Id: <Y8mYZEKqWN43n2SA@mercury.tail36e24.ts.net>
Diffstat (limited to 'device/dev_pager.c')
| -rw-r--r-- | device/dev_pager.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/device/dev_pager.c b/device/dev_pager.c index 3a37a14d..728be036 100644 --- a/device/dev_pager.c +++ b/device/dev_pager.c @@ -50,6 +50,7 @@ #include <vm/vm_kern.h> #include <vm/vm_user.h> +#include <device/device_pager.server.h> #include <device/device_types.h> #include <device/ds_routines.h> #include <device/dev_hdr.h> |