NMIs and cross-core trapframe inspection
[akaros.git] / kern / arch / i686 / trap.c
1 #ifdef __SHARC__
2 #pragma nosharc
3 #define SINIT(x) x
4 #endif
5
6 #include <arch/mmu.h>
7 #include <arch/x86.h>
8 #include <arch/arch.h>
9 #include <arch/console.h>
10 #include <arch/apic.h>
11 #include <ros/common.h>
12 #include <smp.h>
13 #include <assert.h>
14 #include <pmap.h>
15 #include <trap.h>
16 #include <monitor.h>
17 #include <process.h>
18 #include <mm.h>
19 #include <stdio.h>
20 #include <slab.h>
21 #include <syscall.h>
22 #include <kdebug.h>
23 #include <kmalloc.h>
24
25 taskstate_t RO ts;
26
27 /* Interrupt descriptor table.  (Must be built at run time because
28  * shifted function addresses can't be represented in relocation records.)
29  */
30 // Aligned on an 8 byte boundary (SDM V3A 5-13)
31 gatedesc_t __attribute__ ((aligned (8))) (RO idt)[256] = { { 0 } };
32 pseudodesc_t RO idt_pd = {
33         sizeof(idt) - 1, (uint32_t) idt
34 };
35
36 /* global handler table, used by core0 (for now).  allows the registration
37  * of functions to be called when servicing an interrupt.  other cores
38  * can set up their own later.
39  */
40 #ifdef __IVY__
41 #pragma cilnoremove("iht_lock")
42 #endif
43 spinlock_t iht_lock;
44 handler_t TP(TV(t)) LCKD(&iht_lock) (RO interrupt_handlers)[NUM_INTERRUPT_HANDLERS];
45
46 static const char *NTS trapname(int trapno)
47 {
48     // zra: excnames is SREADONLY because Ivy doesn't trust const
49         static const char *NT const (RO excnames)[] = {
50                 "Divide error",
51                 "Debug",
52                 "Non-Maskable Interrupt",
53                 "Breakpoint",
54                 "Overflow",
55                 "BOUND Range Exceeded",
56                 "Invalid Opcode",
57                 "Device Not Available",
58                 "Double Fault",
59                 "Coprocessor Segment Overrun",
60                 "Invalid TSS",
61                 "Segment Not Present",
62                 "Stack Fault",
63                 "General Protection",
64                 "Page Fault",
65                 "(unknown trap)",
66                 "x87 FPU Floating-Point Error",
67                 "Alignment Check",
68                 "Machine-Check",
69                 "SIMD Floating-Point Exception"
70         };
71
72         if (trapno < sizeof(excnames)/sizeof(excnames[0]))
73                 return excnames[trapno];
74         if (trapno == T_SYSCALL)
75                 return "System call";
76         return "(unknown trap)";
77 }
78
79 /* Set stacktop for the current core to be the stack the kernel will start on
80  * when trapping/interrupting from userspace.  Don't use this til after
81  * smp_percpu_init().  We can probably get the TSS by reading the task register
82  * and then the GDT.  Still, it's a pain. */
83 void set_stack_top(uintptr_t stacktop)
84 {
85         struct per_cpu_info *pcpu = &per_cpu_info[core_id()];
86         /* No need to reload the task register, this takes effect immediately */
87         pcpu->tss->ts_esp0 = stacktop;
88         /* Also need to make sure sysenters come in correctly */
89         write_msr(MSR_IA32_SYSENTER_ESP, stacktop);
90 }
91
92 /* Note the check implies we only are on a one page stack (or the first page) */
93 uintptr_t get_stack_top(void)
94 {
95         struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
96         uintptr_t stacktop;
97         /* so we can check this in interrupt handlers (before smp_boot()) */
98         if (!pcpui->tss)
99                 return ROUNDUP(read_esp(), PGSIZE);
100         stacktop = pcpui->tss->ts_esp0;
101         if (stacktop != ROUNDUP(read_esp(), PGSIZE))
102                 panic("Bad stacktop: %08p esp one is %08p\n", stacktop,
103                       ROUNDUP(read_esp(), PGSIZE));
104         return stacktop;
105 }
106
107 /* Starts running the current TF, just using ret. */
108 void pop_kernel_tf(struct trapframe *tf)
109 {
110         asm volatile ("movl %1,%%esp;           " /* move to future stack */
111                       "pushl %2;                " /* push cs */
112                       "movl %0,%%esp;           " /* move to TF */
113                       "addl $0x20,%%esp;        " /* move to tf_gs slot */
114                       "movl %1,(%%esp);         " /* write future esp */
115                       "subl $0x20,%%esp;        " /* move back to tf start */
116                       "popal;                   " /* restore regs */
117                       "popl %%esp;              " /* set stack ptr */
118                       "subl $0x4,%%esp;         " /* jump down past CS */
119                       "ret                      " /* return to the EIP */
120                       :
121                       : "g"(tf), "r"(tf->tf_esp), "r"(tf->tf_eip) : "memory");
122         panic("ret failed");                            /* mostly to placate your mom */
123 }
124
125 /* Sends a non-maskable interrupt; the handler will print a trapframe. */
126 void send_nmi(uint32_t os_coreid)
127 {
128         /* NMI / IPI for x86 are limited to 8 bits */
129         uint8_t hw_core = (uint8_t)get_hw_coreid(os_coreid);
130         __send_nmi(hw_core);
131 }
132
133 void idt_init(void)
134 {
135         extern segdesc_t (RO gdt)[];
136
137         // This table is made in trapentry.S by each macro in that file.
138         // It is layed out such that the ith entry is the ith's traphandler's
139         // (uint32_t) trap addr, then (uint32_t) trap number
140         struct trapinfo { uint32_t trapaddr; uint32_t trapnumber; };
141         extern struct trapinfo (BND(__this,trap_tbl_end) RO trap_tbl)[];
142         extern struct trapinfo (SNT RO trap_tbl_end)[];
143         int i, trap_tbl_size = trap_tbl_end - trap_tbl;
144         extern void ISR_default(void);
145
146         // set all to default, to catch everything
147         for(i = 0; i < 256; i++)
148                 ROSETGATE(idt[i], 0, GD_KT, &ISR_default, 0);
149
150         // set all entries that have real trap handlers
151         // we need to stop short of the last one, since the last is the default
152         // handler with a fake interrupt number (500) that is out of bounds of
153         // the idt[]
154         // if we set these to trap gates, be sure to handle the IRQs separately
155         // and we might need to break our pretty tables
156         for(i = 0; i < trap_tbl_size - 1; i++)
157                 ROSETGATE(idt[trap_tbl[i].trapnumber], 0, GD_KT, trap_tbl[i].trapaddr, 0);
158
159         // turn on syscall handling and other user-accessible ints
160         // DPL 3 means this can be triggered by the int instruction
161         // STS_TG32 sets the IDT type to a Trap Gate (interrupts enabled)
162         idt[T_SYSCALL].gd_dpl = SINIT(3);
163         idt[T_SYSCALL].gd_type = SINIT(STS_TG32);
164         idt[T_BRKPT].gd_dpl = SINIT(3);
165
166         /* Setup a TSS so that we get the right stack when we trap to the kernel.
167          * We need to use the KVA for stacktop, and not the memlayout virtual
168          * address, so we can free it later (and check for other bugs). */
169         pte_t *pte = pgdir_walk(boot_pgdir, (void*)KSTACKTOP - PGSIZE, 0);
170         uintptr_t stacktop_kva = (uintptr_t)ppn2kva(PTE2PPN(*pte)) + PGSIZE;
171         ts.ts_esp0 = stacktop_kva;
172         ts.ts_ss0 = SINIT(GD_KD);
173
174         // Initialize the TSS field of the gdt.
175         SEG16ROINIT(gdt[GD_TSS >> 3],STS_T32A, (uint32_t)(&ts),sizeof(taskstate_t),0);
176         //gdt[GD_TSS >> 3] = (segdesc_t)SEG16(STS_T32A, (uint32_t) (&ts),
177         //                                 sizeof(taskstate_t), 0);
178         gdt[GD_TSS >> 3].sd_s = SINIT(0);
179
180         // Load the TSS
181         ltr(GD_TSS);
182
183         // Load the IDT
184         asm volatile("lidt idt_pd");
185
186         // This will go away when we start using the IOAPIC properly
187         pic_remap();
188         // set LINT0 to receive ExtINTs (KVM's default).  At reset they are 0x1000.
189         write_mmreg32(LAPIC_LVT_LINT0, 0x700);
190         // mask it to shut it up for now
191         mask_lapic_lvt(LAPIC_LVT_LINT0);
192         // and turn it on
193         lapic_enable();
194         /* register the generic timer_interrupt() handler for the per-core timers */
195         register_interrupt_handler(interrupt_handlers, LAPIC_TIMER_DEFAULT_VECTOR,
196                                    timer_interrupt, NULL);
197 }
198
199 void
200 print_regs(push_regs_t *regs)
201 {
202         cprintf("  edi  0x%08x\n", regs->reg_edi);
203         cprintf("  esi  0x%08x\n", regs->reg_esi);
204         cprintf("  ebp  0x%08x\n", regs->reg_ebp);
205         cprintf("  oesp 0x%08x\n", regs->reg_oesp);
206         cprintf("  ebx  0x%08x\n", regs->reg_ebx);
207         cprintf("  edx  0x%08x\n", regs->reg_edx);
208         cprintf("  ecx  0x%08x\n", regs->reg_ecx);
209         cprintf("  eax  0x%08x\n", regs->reg_eax);
210 }
211
212 void
213 print_trapframe(trapframe_t *tf)
214 {
215         static spinlock_t ptf_lock;
216
217         spin_lock_irqsave(&ptf_lock);
218         printk("TRAP frame at %p on core %d\n", tf, core_id());
219         print_regs(&tf->tf_regs);
220         printk("  gs   0x----%04x\n", tf->tf_gs);
221         printk("  fs   0x----%04x\n", tf->tf_fs);
222         printk("  es   0x----%04x\n", tf->tf_es);
223         printk("  ds   0x----%04x\n", tf->tf_ds);
224         printk("  trap 0x%08x %s\n", tf->tf_trapno, trapname(tf->tf_trapno));
225         printk("  err  0x%08x\n", tf->tf_err);
226         printk("  eip  0x%08x\n", tf->tf_eip);
227         printk("  cs   0x----%04x\n", tf->tf_cs);
228         printk("  flag 0x%08x\n", tf->tf_eflags);
229         /* Prevents us from thinking these mean something for nested interrupts. */
230         if (tf->tf_cs != GD_KT) {
231                 printk("  esp  0x%08x\n", tf->tf_esp);
232                 printk("  ss   0x----%04x\n", tf->tf_ss);
233         }
234         spin_unlock_irqsave(&ptf_lock);
235 }
236
237 static void trap_dispatch(struct trapframe *tf)
238 {
239         // Handle processor exceptions.
240         switch(tf->tf_trapno) {
241                 case T_NMI:
242                         print_trapframe(tf);
243                         char *fn_name = get_fn_name(tf->tf_eip);
244                         printk("Core %d is at %08p (%s)\n", core_id(), tf->tf_eip, fn_name);
245                         kfree(fn_name);
246                         break;
247                 case T_BRKPT:
248                         monitor(tf);
249                         break;
250                 case T_PGFLT:
251                         page_fault_handler(tf);
252                         break;
253                 case T_SYSCALL:
254                         // check for userspace, for now
255                         assert(tf->tf_cs != GD_KT);
256                         /* Set up and run the async calls */
257                         prep_syscalls(current, (struct syscall*)tf->tf_regs.reg_eax,
258                                       tf->tf_regs.reg_edx);
259                         break;
260                 default:
261                         // Unexpected trap: The user process or the kernel has a bug.
262                         print_trapframe(tf);
263                         if (tf->tf_cs == GD_KT)
264                                 panic("Damn Damn!  Unhandled trap in the kernel!");
265                         else {
266                                 warn("Unexpected trap from userspace");
267                                 proc_incref(current, 1);
268                                 proc_destroy(current);
269                                 assert(0);
270                                 return;
271                         }
272         }
273         return;
274 }
275
276 void
277 env_push_ancillary_state(env_t* e)
278 {
279         // TODO: (HSS) handle silly state (don't really want this per-process)
280         // Here's where you'll save FP/MMX/XMM regs
281 }
282
283 void
284 env_pop_ancillary_state(env_t* e)
285 {
286         // Here's where you'll restore FP/MMX/XMM regs
287 }
288
289 /* Helper.  For now, this copies out the TF to pcpui, and sets the tf to use it.
290  * Eventually, we ought to do this in trapentry.S */
291 static void set_current_tf(struct per_cpu_info *pcpui, struct trapframe **tf)
292 {
293         pcpui->actual_tf = **tf;
294         pcpui->cur_tf = &pcpui->actual_tf;
295         *tf = &pcpui->actual_tf;
296 }
297
298 void trap(struct trapframe *tf)
299 {
300         struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
301         /* Copy out the TF for now, set tf to point to it.  */
302         if (!in_kernel(tf))
303                 set_current_tf(pcpui, &tf);
304
305         printd("Incoming TRAP %d on core %d, TF at %p\n", tf->tf_trapno, core_id(),
306                tf);
307         if ((tf->tf_cs & ~3) != GD_UT && (tf->tf_cs & ~3) != GD_KT) {
308                 print_trapframe(tf);
309                 panic("Trapframe with invalid CS!");
310         }
311         trap_dispatch(tf);
312         /* Return to the current process, which should be runnable.  If we're the
313          * kernel, we should just return naturally.  Note that current and tf need
314          * to still be okay (might not be after blocking) */
315         if (in_kernel(tf))
316                 return; /* TODO: think about this, might want a helper instead. */
317         proc_restartcore();
318         assert(0);
319 }
320
321 void irq_handler(struct trapframe *tf)
322 {
323         struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
324         /* Copy out the TF for now, set tf to point to it. */
325         if (!in_kernel(tf))
326                 set_current_tf(pcpui, &tf);
327
328         //if (core_id())
329                 printd("Incoming IRQ, ISR: %d on core %d\n", tf->tf_trapno, core_id());
330
331         extern handler_wrapper_t (RO handler_wrappers)[NUM_HANDLER_WRAPPERS];
332
333         // determine the interrupt handler table to use.  for now, pick the global
334         handler_t TP(TV(t)) LCKD(&iht_lock) * handler_tbl = interrupt_handlers;
335
336         if (handler_tbl[tf->tf_trapno].isr != 0)
337                 handler_tbl[tf->tf_trapno].isr(tf, handler_tbl[tf->tf_trapno].data);
338         // if we're a general purpose IPI function call, down the cpu_list
339         if ((I_SMP_CALL0 <= tf->tf_trapno) && (tf->tf_trapno <= I_SMP_CALL_LAST))
340                 down_checklist(handler_wrappers[tf->tf_trapno & 0x0f].cpu_list);
341
342         // Send EOI.  might want to do this in assembly, and possibly earlier
343         // This is set up to work with an old PIC for now
344         // Convention is that all IRQs between 32 and 47 are for the PIC.
345         // All others are LAPIC (timer, IPIs, perf, non-ExtINT LINTS, etc)
346         // For now, only 235-255 are available
347         assert(tf->tf_trapno >= 32); // slows us down, but we should never have this
348
349 #ifdef __CONFIG_ENABLE_MPTABLES__
350         /* TODO: this should be for any IOAPIC EOI, not just MPTABLES */
351         lapic_send_eoi();
352 #else
353         //Old PIC relatd code. Should be gone for good, but leaving it just incase.
354         if (tf->tf_trapno < 48)
355                 pic_send_eoi(tf->tf_trapno - PIC1_OFFSET);
356         else
357                 lapic_send_eoi();
358 #endif
359         /* Return to the current process, which should be runnable.  If we're the
360          * kernel, we should just return naturally.  Note that current and tf need
361          * to still be okay (might not be after blocking) */
362         if (in_kernel(tf))
363                 return; /* TODO: think about this, might want a helper instead. */
364         proc_restartcore();
365         assert(0);
366 }
367
368 void
369 register_interrupt_handler(handler_t TP(TV(t)) table[],
370                            uint8_t int_num, poly_isr_t handler, TV(t) data)
371 {
372         table[int_num].isr = handler;
373         table[int_num].data = data;
374 }
375
376 void page_fault_handler(struct trapframe *tf)
377 {
378         uint32_t fault_va = rcr2();
379         int prot = tf->tf_err & PF_ERROR_WRITE ? PROT_WRITE : PROT_READ;
380         int err;
381
382         /* TODO - handle kernel page faults */
383         if ((tf->tf_cs & 3) == 0) {
384                 print_trapframe(tf);
385                 panic("Page Fault in the Kernel at 0x%08x!", fault_va);
386         }
387         if ((err = handle_page_fault(current, fault_va, prot))) {
388                 /* Destroy the faulting process */
389                 printk("[%08x] user %s fault va %08x ip %08x on core %d with err %d\n",
390                        current->pid, prot & PROT_READ ? "READ" : "WRITE", fault_va,
391                        tf->tf_eip, core_id(), err);
392                 print_trapframe(tf);
393                 proc_incref(current, 1);
394                 proc_destroy(current);
395                 assert(0);
396         }
397 }
398
399 void sysenter_init(void)
400 {
401         write_msr(MSR_IA32_SYSENTER_CS, GD_KT);
402         write_msr(MSR_IA32_SYSENTER_ESP, ts.ts_esp0);
403         write_msr(MSR_IA32_SYSENTER_EIP, (uint32_t) &sysenter_handler);
404 }
405
406 /* This is called from sysenter's asm, with the tf on the kernel stack. */
407 void sysenter_callwrapper(struct trapframe *tf)
408 {
409         struct per_cpu_info *pcpui = &per_cpu_info[core_id()];
410         /* Copy out the TF for now, set tf to point to it. */
411         if (!in_kernel(tf))
412                 set_current_tf(pcpui, &tf);
413
414         if (in_kernel(tf))
415                 panic("sysenter from a kernel TF!!");
416         /* Set up and run the async calls */
417         prep_syscalls(current, (struct syscall*)tf->tf_regs.reg_eax,
418                       tf->tf_regs.reg_esi);
419         proc_restartcore();
420 }
421
422 struct kmem_cache *kernel_msg_cache;
423 void kernel_msg_init(void)
424 {
425         kernel_msg_cache = kmem_cache_create("kernel_msgs",
426                            sizeof(struct kernel_message), HW_CACHE_ALIGN, 0, 0, 0);
427 }
428
429 uint32_t send_kernel_message(uint32_t dst, amr_t pc, TV(a0t) arg0, TV(a1t) arg1,
430                              TV(a2t) arg2, int type)
431 {
432         kernel_message_t *k_msg;
433         assert(pc);
434         // note this will be freed on the destination core
435         k_msg = (kernel_message_t *CT(1))TC(kmem_cache_alloc(kernel_msg_cache, 0));
436         k_msg->srcid = core_id();
437         k_msg->pc = pc;
438         k_msg->arg0 = arg0;
439         k_msg->arg1 = arg1;
440         k_msg->arg2 = arg2;
441         switch (type) {
442                 case KMSG_IMMEDIATE:
443                         spin_lock_irqsave(&per_cpu_info[dst].immed_amsg_lock);
444                         STAILQ_INSERT_TAIL(&per_cpu_info[dst].immed_amsgs, k_msg, link);
445                         spin_unlock_irqsave(&per_cpu_info[dst].immed_amsg_lock);
446                         break;
447                 case KMSG_ROUTINE:
448                         spin_lock_irqsave(&per_cpu_info[dst].routine_amsg_lock);
449                         STAILQ_INSERT_TAIL(&per_cpu_info[dst].routine_amsgs, k_msg, link);
450                         spin_unlock_irqsave(&per_cpu_info[dst].routine_amsg_lock);
451                         break;
452                 default:
453                         panic("Unknown type of kernel message!");
454         }
455         /* since we touched memory the other core will touch (the lock), we don't
456          * need an wmb_f() */
457         /* if we're sending a routine message locally, we don't want/need an IPI */
458         if ((dst != k_msg->srcid) || (type == KMSG_IMMEDIATE))
459                 send_ipi(get_hw_coreid(dst), I_KERNEL_MSG);
460         return 0;
461 }
462
463 /* Helper function.  Returns 0 if the list was empty. */
464 static kernel_message_t *get_next_amsg(struct kernel_msg_list *list_head,
465                                        spinlock_t *list_lock)
466 {
467         kernel_message_t *k_msg;
468         spin_lock_irqsave(list_lock);
469         k_msg = STAILQ_FIRST(list_head);
470         if (k_msg)
471                 STAILQ_REMOVE_HEAD(list_head, link);
472         spin_unlock_irqsave(list_lock);
473         return k_msg;
474 }
475
476 /* Kernel message handler.  Extensive documentation is in
477  * Documentation/kernel_messages.txt.
478  *
479  * In general: this processes immediate messages, then routine messages.
480  * Routine messages might not return (__startcore, etc), so we need to be
481  * careful about a few things.
482  *
483  * Note that all of this happens from interrupt context, and interrupts are
484  * currently disabled for this gate.  Interrupts need to be disabled so that the
485  * self-ipi doesn't preempt the execution of this kernel message. */
486 void __kernel_message(struct trapframe *tf)
487 {
488         per_cpu_info_t *myinfo = &per_cpu_info[core_id()];
489         kernel_message_t msg_cp, *k_msg;
490
491         /* Copy out the TF for now, set tf to point to it. */
492         if (!in_kernel(tf))
493                 set_current_tf(myinfo, &tf);
494
495         lapic_send_eoi();
496         while (1) { // will break out when there are no more messages
497                 /* Try to get an immediate message.  Exec and free it. */
498                 k_msg = get_next_amsg(&myinfo->immed_amsgs, &myinfo->immed_amsg_lock);
499                 if (k_msg) {
500                         assert(k_msg->pc);
501                         k_msg->pc(tf, k_msg->srcid, k_msg->arg0, k_msg->arg1, k_msg->arg2);
502                         kmem_cache_free(kernel_msg_cache, (void*)k_msg);
503                 } else { // no immediate, might be a routine
504                         if (in_kernel(tf))
505                                 return; // don't execute routine msgs if we were in the kernel
506                         k_msg = get_next_amsg(&myinfo->routine_amsgs,
507                                               &myinfo->routine_amsg_lock);
508                         if (!k_msg) // no routines either
509                                 return;
510                         /* copy in, and then free, in case we don't return */
511                         msg_cp = *k_msg;
512                         kmem_cache_free(kernel_msg_cache, (void*)k_msg);
513                         /* make sure an IPI is pending if we have more work */
514                         /* techincally, we don't need to lock when checking */
515                         if (!STAILQ_EMPTY(&myinfo->routine_amsgs) &&
516                                !ipi_is_pending(I_KERNEL_MSG))
517                                 send_self_ipi(I_KERNEL_MSG);
518                         /* Execute the kernel message */
519                         assert(msg_cp.pc);
520                         /* TODO: when batching syscalls, this should be reread from cur_tf*/
521                         msg_cp.pc(tf, msg_cp.srcid, msg_cp.arg0, msg_cp.arg1, msg_cp.arg2);
522                 }
523         }
524         /* TODO: should this proc_restartcore, like the irq/trap paths?  Or at least
525          * take some things from __proc_startcore() (since we don't want to re-run
526          * kmsgs). */
527 }
528
529 /* Runs any outstanding routine kernel messages from within the kernel.  Will
530  * make sure immediates still run first (or when they arrive, if processing a
531  * bunch of these messages).  This will disable interrupts, and restore them to
532  * whatever state you left them. */
533 void process_routine_kmsg(struct trapframe *tf)
534 {
535         per_cpu_info_t *myinfo = &per_cpu_info[core_id()];
536         kernel_message_t msg_cp, *k_msg;
537         int8_t irq_state = 0;
538
539         disable_irqsave(&irq_state);
540         /* If we were told what our TF was, use that.  o/w, go with current_tf. */
541         tf = tf ? tf : current_tf;
542         while (1) {
543                 /* normally, we want ints disabled, so we don't have an empty self-ipi
544                  * for every routine message. (imagine a long list of routines).  But we
545                  * do want immediates to run ahead of routines.  This enabling should
546                  * work (might not in some shitty VMs).  Also note we can receive an
547                  * extra self-ipi for routine messages before we turn off irqs again.
548                  * Not a big deal, since we will process it right away. 
549                  * TODO: consider calling __kernel_message() here. */
550                 if (!STAILQ_EMPTY(&myinfo->immed_amsgs)) {
551                         enable_irq();
552                         cpu_relax();
553                         disable_irq();
554                 }
555                 k_msg = get_next_amsg(&myinfo->routine_amsgs,
556                                       &myinfo->routine_amsg_lock);
557                 if (!k_msg) {
558                         enable_irqsave(&irq_state);
559                         return;
560                 }
561                 /* copy in, and then free, in case we don't return */
562                 msg_cp = *k_msg;
563                 kmem_cache_free(kernel_msg_cache, (void*)k_msg);
564                 /* make sure an IPI is pending if we have more work */
565                 if (!STAILQ_EMPTY(&myinfo->routine_amsgs) &&
566                        !ipi_is_pending(I_KERNEL_MSG))
567                         send_self_ipi(I_KERNEL_MSG);
568                 /* Execute the kernel message */
569                 assert(msg_cp.pc);
570                 msg_cp.pc(tf, msg_cp.srcid, msg_cp.arg0, msg_cp.arg1, msg_cp.arg2);
571         }
572 }