149545b38SMike Barcroft /*- 2*8770e9dbSTijl Coosemans * This file is in the public domain. 349545b38SMike Barcroft */ 449545b38SMike Barcroft 5*8770e9dbSTijl Coosemans #include <x86/_stdint.h> 6