diff options
Diffstat (limited to 'include/kmi/ipi.h')
| -rw-r--r-- | include/kmi/ipi.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/include/kmi/ipi.h b/include/kmi/ipi.h index 72b54b9..7a0760a 100644 --- a/include/kmi/ipi.h +++ b/include/kmi/ipi.h @@ -15,14 +15,6 @@ #include <kmi/tcb.h> /** - * Clear potential IPI in \p t, and return its value. - * - * @param t \ref tcb to clear possible IPI status of. - * @return \ref true if \p was interrupted by IPI, \ref false otherwise. - */ -bool clear_ipi(struct tcb *t); - -/** * Send IPI to \p t. Assumes \c running(t). * * @param t \ref tcb to send IPI to. |