1/*- 2 * This file is in the public domain. 3 */ 4/* $FreeBSD: stable/11/sys/amd64/include/pvclock.h 278183 2015-02-04 08:26:43Z bryanv $ */ 5 6#include <x86/pvclock.h> 7