diff options
Diffstat (limited to 'include/kmi/ipi.h')
| -rw-r--r-- | include/kmi/ipi.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/include/kmi/ipi.h b/include/kmi/ipi.h index 7a0760a..9c2963f 100644 --- a/include/kmi/ipi.h +++ b/include/kmi/ipi.h @@ -21,6 +21,12 @@ */ void send_ipi(struct tcb *t); +/** + * Remove thread from IPI queue if it is on it. + * @param t Thread to unqueue. + */ +void unqueue_ipi(struct tcb *t); + /** Handle IPI. */ void handle_ipi(); |