Workqueue interface and coreid()
authorBarret Rhoden <brho@cs.berkeley.edu>
Fri, 24 Jul 2009 22:39:57 +0000 (15:39 -0700)
committerBarret Rhoden <brho@cs.berkeley.edu>
Fri, 24 Jul 2009 22:39:57 +0000 (15:39 -0700)
commit6f3af0600ab3f56b29a20a479f7644e7ee95174d
tree664cf44a069ad7b4a31b5b83c414178952984994
parent8df21afba9f6fe760def63f3e712d6803f97e984
Workqueue interface and coreid()

Cleaned up the workqueue interface, even though it still only has capacity for
one item.  This will make things easier when we have to check it when
env_running, among other things.

Also, replaced all lapic_get_id()s with coreid(), which uses the cpuid
instruction.  We can change this later, but for now I'm stuck with it. (KVM
thing, maybe).
16 files changed:
include/arch/apic.h
include/arch/smp.h
include/arch/x86.h
include/env.h
include/workqueue.h
kern/src/apic.c
kern/src/atomic.c
kern/src/env.c
kern/src/init.c
kern/src/manager.c
kern/src/monitor.c
kern/src/smp.c
kern/src/syscall.c
kern/src/testing.c
kern/src/trap.c
kern/src/workqueue.c