/*	$NetBSD$	*/

#define _PCI_HAVE_DMA64

#include <xen/pci_machdep.h>