#ifndef _ALPHA_DMA_MAPPING_H
#define _ALPHA_DMA_MAPPING_H
#include <linux/scatterlist.h>
#ifdef CONFIG_PCI