Definitions for the virtual APIC bus (x86)
The functions that x86_64/apic.h provides are thread safe.