common/ipi.c


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

#include <kmi/ipi.h>
#include <arch/cpu.h>

#include <arch/proc.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);
}

struct sys_ret handle_ipi(struct tcb *t)
{
	adjust_ipi(t);

	/** @todo use rpc stack */
	set_return(t, t->callback);
	return get_args(t);
}