120253Sjoerg/*- 220302Sjoerg * This file is in the public domain. 320302Sjoerg */ 420253Sjoerg/* $FreeBSD: head/sys/amd64/include/pvclock.h 278183 2015-02-04 08:26:43Z bryanv $ */ 520253Sjoerg 620253Sjoerg#include <x86/pvclock.h> 720253Sjoerg