blob: 79b363f75eb1e40e04fa90f7c735b6585e212fd0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
|
/* SPDX-License-Identifier: copyleft-next-0.3.1 */
/* Copyright 2023 Kim Kuparinen < kimi.h.kuparinen@gmail.com > */
#include <kmi/notify.h>
#include <kmi/ipi.h>
#include <arch/proc.h>
#include <arch/cpu.h>
/**
* @file ipi.c
*
* IPI function implementations.
*/
bool clear_ipi(struct tcb *t)
{
bool r = t->ipi;
t->ipi = false;
return r;
}
void send_ipi(struct tcb *t)
{
t->ipi = true;
cpu_send_ipi(t->cpu_id);
}
void handle_ipi()
{
struct tcb *t = cur_tcb();
adjust_ipi(t);
/** @todo how do we get the target thread? What if multiple threads send
* ipis at the same time? */
struct tcb *r = NULL;
notify(r);
/* notify didn't take for whatever reason so return whence we came from */
}
|
