/*-
 * This file is in the public domain.
 */
/* $FreeBSD: release/9.2.0/sys/i386/include/vdso.h 240815 2012-09-22 12:32:00Z kib $ */

#include <x86/vdso.h>