1*d3ccddf3SBryan Venteicher /*- 2*d3ccddf3SBryan Venteicher * This file is in the public domain. 3*d3ccddf3SBryan Venteicher */ 4*d3ccddf3SBryan Venteicher 5*d3ccddf3SBryan Venteicher #include <x86/pvclock.h> 6