Defines in libkern/libkern/machine