diff options
Diffstat (limited to 'common/dispatch.c')
| -rw-r--r-- | common/dispatch.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/common/dispatch.c b/common/dispatch.c index 25ff0eb..f5d5d2e 100644 --- a/common/dispatch.c +++ b/common/dispatch.c @@ -1,11 +1,11 @@ -#include <apos/uapi.h> -#include <apos/ipi.h> +#include <kmi/uapi.h> +#include <kmi/ipi.h> /** * @file dispatch.c * * Interface between assembly and C for dispatching syscalls/IPIs. - * In apos, IPIs are a higher level concept and is not expected to be handled by + * In kmi, IPIs are a higher level concept and is not expected to be handled by * the underlying architecture. Instead, we only require that there is some way * to trigger an interrupt in some other core, and check if the interrupt was an * IPI or syscall in C. |