kernel - Fix debug output label
authorMatthew Dillon <dillon@apollo.backplane.com>
Mon, 10 Dec 2012 22:35:39 +0000 (14:35 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Mon, 10 Dec 2012 22:35:39 +0000 (14:35 -0800)
commitfe7bdb908888ba0f635ae5838867be4056310471
treea3ab5e9255ea7515504230a77b47f9e7c7965efa
parent32841dabc7f77e1abdf4cf9fac60b5fc355f54d8
kernel - Fix debug output label

* Fix "rflags" to "eflags" in i386 kprintf() for smp_invltlb() debugging.

Reported-by: swildner
sys/platform/pc32/i386/mp_machdep.c