Kernel message sanity checks
[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->dstid = dst;
438         k_msg->pc = pc;
439         k_msg->arg0 = arg0;
440         k_msg->arg1 = arg1;
441         k_msg->arg2 = arg2;
442         switch (type) {
443                 case KMSG_IMMEDIATE:
444                         spin_lock_irqsave(&per_cpu_info[dst].immed_amsg_lock);
445                         STAILQ_INSERT_TAIL(&per_cpu_info[dst].immed_amsgs, k_msg, link);
446                         spin_unlock_irqsave(&per_cpu_info[dst].immed_amsg_lock);
447                         break;
448                 case KMSG_ROUTINE:
449                         spin_lock_irqsave(&per_cpu_info[dst].routine_amsg_lock);
450                         STAILQ_INSERT_TAIL(&per_cpu_info[dst].routine_amsgs, k_msg, link);
451                         spin_unlock_irqsave(&per_cpu_info[dst].routine_amsg_lock);
452                         break;
453                 default:
454                         panic("Unknown type of kernel message!");
455         }
456         /* since we touched memory the other core will touch (the lock), we don't
457          * need an wmb_f() */
458         /* if we're sending a routine message locally, we don't want/need an IPI */
459         if ((dst != k_msg->srcid) || (type == KMSG_IMMEDIATE))
460                 send_ipi(get_hw_coreid(dst), I_KERNEL_MSG);
461         return 0;
462 }
463
464 /* Helper function.  Returns 0 if the list was empty. */
465 static kernel_message_t *get_next_amsg(struct kernel_msg_list *list_head,
466                                        spinlock_t *list_lock)
467 {
468         kernel_message_t *k_msg;
469         spin_lock_irqsave(list_lock);
470         k_msg = STAILQ_FIRST(list_head);
471         if (k_msg)
472                 STAILQ_REMOVE_HEAD(list_head, link);
473         spin_unlock_irqsave(list_lock);
474         return k_msg;
475 }
476
477 /* Kernel message handler.  Extensive documentation is in
478  * Documentation/kernel_messages.txt.
479  *
480  * In general: this processes immediate messages, then routine messages.
481  * Routine messages might not return (__startcore, etc), so we need to be
482  * careful about a few things.
483  *
484  * Note that all of this happens from interrupt context, and interrupts are
485  * currently disabled for this gate.  Interrupts need to be disabled so that the
486  * self-ipi doesn't preempt the execution of this kernel message. */
487 void __kernel_message(struct trapframe *tf)
488 {
489         per_cpu_info_t *myinfo = &per_cpu_info[core_id()];
490         kernel_message_t msg_cp, *k_msg;
491
492         /* Copy out the TF for now, set tf to point to it. */
493         if (!in_kernel(tf))
494                 set_current_tf(myinfo, &tf);
495
496         lapic_send_eoi();
497         while (1) { // will break out when there are no more messages
498                 /* Try to get an immediate message.  Exec and free it. */
499                 k_msg = get_next_amsg(&myinfo->immed_amsgs, &myinfo->immed_amsg_lock);
500                 if (k_msg) {
501                         assert(k_msg->pc);
502                         k_msg->pc(tf, k_msg->srcid, k_msg->arg0, k_msg->arg1, k_msg->arg2);
503                         kmem_cache_free(kernel_msg_cache, (void*)k_msg);
504                 } else { // no immediate, might be a routine
505                         if (in_kernel(tf))
506                                 return; // don't execute routine msgs if we were in the kernel
507                         k_msg = get_next_amsg(&myinfo->routine_amsgs,
508                                               &myinfo->routine_amsg_lock);
509                         if (!k_msg) // no routines either
510                                 return;
511                         /* copy in, and then free, in case we don't return */
512                         msg_cp = *k_msg;
513                         kmem_cache_free(kernel_msg_cache, (void*)k_msg);
514                         /* make sure an IPI is pending if we have more work */
515                         /* techincally, we don't need to lock when checking */
516                         if (!STAILQ_EMPTY(&myinfo->routine_amsgs) &&
517                                !ipi_is_pending(I_KERNEL_MSG))
518                                 send_self_ipi(I_KERNEL_MSG);
519                         /* Execute the kernel message */
520                         assert(msg_cp.pc);
521                         assert(msg_cp.dstid == core_id());
522                         /* TODO: when batching syscalls, this should be reread from cur_tf*/
523                         msg_cp.pc(tf, msg_cp.srcid, msg_cp.arg0, msg_cp.arg1, msg_cp.arg2);
524                 }
525         }
526         /* TODO: should this proc_restartcore, like the irq/trap paths?  Or at least
527          * take some things from __proc_startcore() (since we don't want to re-run
528          * kmsgs). */
529 }
530
531 /* Runs any outstanding routine kernel messages from within the kernel.  Will
532  * make sure immediates still run first (or when they arrive, if processing a
533  * bunch of these messages).  This will disable interrupts, and restore them to
534  * whatever state you left them. */
535 void process_routine_kmsg(struct trapframe *tf)
536 {
537         per_cpu_info_t *myinfo = &per_cpu_info[core_id()];
538         kernel_message_t msg_cp, *k_msg;
539         int8_t irq_state = 0;
540
541         disable_irqsave(&irq_state);
542         /* If we were told what our TF was, use that.  o/w, go with current_tf. */
543         tf = tf ? tf : current_tf;
544         while (1) {
545                 /* normally, we want ints disabled, so we don't have an empty self-ipi
546                  * for every routine message. (imagine a long list of routines).  But we
547                  * do want immediates to run ahead of routines.  This enabling should
548                  * work (might not in some shitty VMs).  Also note we can receive an
549                  * extra self-ipi for routine messages before we turn off irqs again.
550                  * Not a big deal, since we will process it right away. 
551                  * TODO: consider calling __kernel_message() here. */
552                 if (!STAILQ_EMPTY(&myinfo->immed_amsgs)) {
553                         enable_irq();
554                         cpu_relax();
555                         disable_irq();
556                 }
557                 k_msg = get_next_amsg(&myinfo->routine_amsgs,
558                                       &myinfo->routine_amsg_lock);
559                 if (!k_msg) {
560                         enable_irqsave(&irq_state);
561                         return;
562                 }
563                 /* copy in, and then free, in case we don't return */
564                 msg_cp = *k_msg;
565                 kmem_cache_free(kernel_msg_cache, (void*)k_msg);
566                 /* make sure an IPI is pending if we have more work */
567                 if (!STAILQ_EMPTY(&myinfo->routine_amsgs) &&
568                        !ipi_is_pending(I_KERNEL_MSG))
569                         send_self_ipi(I_KERNEL_MSG);
570                 /* Execute the kernel message */
571                 assert(msg_cp.pc);
572                 assert(msg_cp.dstid == core_id());
573                 msg_cp.pc(tf, msg_cp.srcid, msg_cp.arg0, msg_cp.arg1, msg_cp.arg2);
574         }
575 }