13c4dd356SDavid Greenman /*- 2*dfb1c113STijl Coosemans * This file is in the public domain. 33c4dd356SDavid Greenman */ 43c4dd356SDavid Greenman 5*dfb1c113STijl Coosemans #include <x86/sysarch.h> 6