/* Retrieve the DMA Flush List given nasid, widget, and device. This list is needed to implement the WAR - Flush DMA data on PIO Reads.  */
static u64 sal_get_device_dmaflush_list(u64 nasid, u64 widget_num, u64 device_num, u64 address)
/* Retrieve the DMA Flush List given nasid, widget, and device. This list is needed to implement the WAR - Flush DMA data on PIO Reads.  */
static u64 sal_get_device_dmaflush_list(u64 nasid, u64 widget_num, u64 device_num, u64 address)
{
	struct ia64_sal_retval ret_stuff;
	ret_stuff.status = 0;
	ret_stuff.v0 = 0;
	SAL_CALL_NOLOCK(ret_stuff,
			(u64) SN_SAL_IOIF_GET_DEVICE_DMAFLUSH_LIST,
			(u64) nasid, (u64) widget_num,
			(u64) device_num, (u64) address, 0, 0, 0);
	return ret_stuff.status;
}