re-Deputized some things and added Deputy polymorphic types to active messages
[akaros.git] / kern / include / trap.h
1 /* See COPYRIGHT for copyright information. */
2
3 #ifndef ROS_KERN_TRAP_H
4 #define ROS_KERN_TRAP_H
5 #ifndef ROS_KERNEL
6 # error "This is an ROS kernel header; user programs should not #include it"
7 #endif
8
9 #include <arch/arch.h>
10 #include <arch/mmu.h>
11 #include <arch/trap.h>
12
13 // func ptr for interrupt service routines
14 typedef void ( *poly_isr_t)(trapframe_t* tf, TV(t) data);
15 typedef void (*isr_t)(trapframe_t* tf, void * data);
16 typedef struct InterruptHandler {
17         poly_isr_t isr;
18         TV(t) data;
19 } handler_t;
20 extern handler_t (COUNT(256) interrupt_handlers)[];
21
22 void idt_init(void);
23 void register_interrupt_handler(handler_t (COUNT(256)table)[], uint8_t int_num,
24                                 poly_isr_t handler, TV(t) data);
25 void ( print_trapframe)(trapframe_t *tf);
26 void ( page_fault_handler)(trapframe_t *tf);
27
28 void sysenter_init(void);
29 extern void sysenter_handler();
30
31 /* Active messages.  Each arch implements them in their own way.  Both should be
32  * guaranteeing in-order delivery.  Kept here in trap.h, since sparc is using
33  * trap.h for AMs
34  *
35  * These are different (for now) than the smp_calls in smp.h, since
36  * they will be executed immediately, and in the order in which they are sent.
37  * smp_calls are currently not run in order, and if they put things on the
38  * workqueue, they don't get run until smp_idle (for now).
39  *
40  * Also, a big difference is that smp_calls can use the same message (registered
41  * in the interrupt_handlers[] for x86) for every recipient, but the active
42  * messages require a unique message.  Also for now, but it might be like that
43  * for a while on x86. */
44
45 typedef void (*amr_t)(trapframe_t* tf, uint32_t srcid,
46                       TV(a0t) a0, TV(a1t) a1, TV(a2t) a2);
47
48 struct active_message
49 {
50         uint32_t srcid;
51         amr_t pc;
52         TV(a0t) arg0;
53         TV(a1t) arg1;
54         TV(a2t) arg2;
55         uint32_t pad;
56 };
57 typedef struct active_message NTPTV(a0t) NTPTV(a1t) NTPTV(a2t) active_message_t;
58
59 uint32_t send_active_message(uint32_t dst, amr_t pc,
60                              TV(a0t) arg0, TV(a1t) arg1, TV(a2t) arg2);
61
62 /* Spins til the active message is sent.  Could block in the future. */
63 static inline void
64 send_active_msg_sync(uint32_t dst, amr_t pc,
65                      TV(a0t) arg0, TV(a1t) arg1, TV(a2t) arg2)
66 {
67         while (send_active_message(dst, pc, arg0, arg1, arg2))
68                 cpu_relax();
69         return;
70 }
71
72 #endif /* ROS_KERN_TRAP_H */