#include <smp/node.h>
#include <cpu/x86/msr.h>
#include <cpu/x86/lapic_def.h>
Go to the source code of this file.