1/*- 2 * This file is in the public domain. 3 */ 4/* $FreeBSD$ */ 5 6#include <i386/linux/linux_ipc64.h> 7