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