From ea5ebe0809fb31b9f125ac0689f706cc5f3f078f Mon Sep 17 00:00:00 2001 From: Kimplul Date: Sun, 30 Apr 2023 17:06:02 +0300 Subject: rename to kmi --- common/dispatch.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'common/dispatch.c') 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 -#include +#include +#include /** * @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. -- cgit v1.3