/*
 * Copyright (c) 2008-2016 Solarflare Communications Inc.
 * All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions are met:
 *
 * 1. Redistributions of source code must retain the above copyright notice,
 *    this list of conditions and the following disclaimer.
 * 2. Redistributions in binary form must reproduce the above copyright notice,
 *    this list of conditions and the following disclaimer in the documentation
 *    and/or other materials provided with the distribution.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
 * AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO,
 * THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS;
 * OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
 * WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR
 * OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE,
 * EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 *
 * The views and conclusions contained in the software and documentation are
 * those of the authors and should not be interpreted as representing official
 * policies, either expressed or implied, of the FreeBSD Project.
 */

#ifndef	_SYS_EFSYS_H
#define	_SYS_EFSYS_H

#ifdef	__cplusplus
extern "C" {
#endif

#include <sys/types.h>
#include <sys/sysmacros.h>
#include <sys/ddi.h>
#include <sys/sunddi.h>
#include <sys/cpuvar.h>
#include <sys/disp.h>
#include <sys/sdt.h>
#include <sys/kstat.h>
#include <sys/crc32.h>
#include <sys/note.h>
#include <sys/byteorder.h>

#define	EFSYS_HAS_UINT64 1
#define	EFSYS_USE_UINT64 0
#define	EFSYS_HAS_SSE2_M128 0
#ifdef	_BIG_ENDIAN
#define	EFSYS_IS_BIG_ENDIAN 1
#endif
#ifdef	_LITTLE_ENDIAN
#define	EFSYS_IS_LITTLE_ENDIAN 1
#endif
#include "efx_types.h"

/* Modifiers used for Windows builds */
#define	__in
#define	__in_opt
#define	__in_ecount(_n)
#define	__in_ecount_opt(_n)
#define	__in_bcount(_n)
#define	__in_bcount_opt(_n)

#define	__out
#define	__out_opt
#define	__out_ecount(_n)
#define	__out_ecount_opt(_n)
#define	__out_bcount(_n)
#define	__out_bcount_opt(_n)
#define	__out_bcount_part(_n, _l)
#define	__out_bcount_part_opt(_n, _l)

#define	__deref_out

#define	__inout
#define	__inout_opt
#define	__inout_ecount(_n)
#define	__inout_ecount_opt(_n)
#define	__inout_bcount(_n)
#define	__inout_bcount_opt(_n)
#define	__inout_bcount_full_opt(_n)

#define	__deref_out_bcount_opt(n)

#define	__checkReturn
#define	__success(_x)

#define	__drv_when(_p, _c)

/* Code inclusion options */


#define	EFSYS_OPT_NAMES 1

#define	EFSYS_OPT_SIENA 1
#define	EFSYS_OPT_HUNTINGTON 1
#define	EFSYS_OPT_MEDFORD 0
#if DEBUG
#define	EFSYS_OPT_CHECK_REG 1
#else
#define	EFSYS_OPT_CHECK_REG 0
#endif

#define	EFSYS_OPT_MCDI 1
#define	EFSYS_OPT_MCDI_LOGGING 0
#define	EFSYS_OPT_MCDI_PROXY_AUTH 0

#define	EFSYS_OPT_MAC_STATS 1

#define	EFSYS_OPT_LOOPBACK 1

#define	EFSYS_OPT_MON_MCDI 1
#define	EFSYS_OPT_MON_STATS 1

#define	EFSYS_OPT_PHY_STATS 1
#define	EFSYS_OPT_BIST 1
#define	EFSYS_OPT_PHY_LED_CONTROL 1

#define	EFSYS_OPT_VPD 1
#define	EFSYS_OPT_NVRAM 1
#define	EFSYS_OPT_BOOTCFG 1

#define	EFSYS_OPT_DIAG 0
#define	EFSYS_OPT_WOL 1
#define	EFSYS_OPT_RX_SCALE 1
#define	EFSYS_OPT_QSTATS 1

#define	EFSYS_OPT_EV_PREFETCH 0

#define	EFSYS_OPT_DECODE_INTR_FATAL 1

#define	EFSYS_OPT_FILTER 1

#define	EFSYS_OPT_LICENSING 0

/* ID */

typedef struct __efsys_identifier_s	efsys_identifier_t;

/* DMA */

typedef uint64_t		efsys_dma_addr_t;

typedef struct efsys_mem_s {
	ddi_dma_handle_t	esm_dma_handle; /* DMA memory allocate/bind */
	ddi_acc_handle_t	esm_acc_handle;	/* DMA memory read/write */
	caddr_t			esm_base;
	efsys_dma_addr_t	esm_addr;
	size_t			esm_size;
	size_t			esm_used;
} efsys_mem_t;


#define	EFSYS_MEM_ZERO(_esmp, _size)					\
	(void) bzero((_esmp)->esm_base, (_size))

#define	EFSYS_MEM_READD(_esmp, _offset, _edp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_dword_t)));	\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		(_edp)->ed_u32[0] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr);						\
									\
		DTRACE_PROBE2(mem_readd, unsigned int, (_offset),	\
		    uint32_t, (_edp)->ed_u32[0]);			\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_READQ(_esmp, _offset, _eqp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_qword_t)));	\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		(_eqp)->eq_u32[0] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr++);						\
		(_eqp)->eq_u32[1] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr);						\
									\
		DTRACE_PROBE3(mem_readq, unsigned int, (_offset),	\
		    uint32_t, (_eqp)->eq_u32[1],			\
		    uint32_t, (_eqp)->eq_u32[0]);			\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_READO(_esmp, _offset, _eop)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_oword_t)));	\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		(_eop)->eo_u32[0] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr++);						\
		(_eop)->eo_u32[1] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr++);						\
		(_eop)->eo_u32[2] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr++);						\
		(_eop)->eo_u32[3] = ddi_get32((_esmp)->esm_acc_handle,	\
		    addr);						\
									\
		DTRACE_PROBE5(mem_reado, unsigned int, (_offset),	\
		    uint32_t, (_eop)->eo_u32[3],			\
		    uint32_t, (_eop)->eo_u32[2],			\
		    uint32_t, (_eop)->eo_u32[1],			\
		    uint32_t, (_eop)->eo_u32[0]);			\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_WRITED(_esmp, _offset, _edp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_dword_t)));	\
									\
		DTRACE_PROBE2(mem_writed, unsigned int, (_offset),	\
		    uint32_t, (_edp)->ed_u32[0]);			\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		ddi_put32((_esmp)->esm_acc_handle, addr,		\
		    (_edp)->ed_u32[0]);					\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_WRITEQ(_esmp, _offset, _eqp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_qword_t)));	\
									\
		DTRACE_PROBE3(mem_writeq, unsigned int, (_offset),	\
		    uint32_t, (_eqp)->eq_u32[1],			\
		    uint32_t, (_eqp)->eq_u32[0]);			\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		ddi_put32((_esmp)->esm_acc_handle, addr++,		\
		    (_eqp)->eq_u32[0]);					\
		ddi_put32((_esmp)->esm_acc_handle, addr,		\
		    (_eqp)->eq_u32[1]);					\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_WRITEO(_esmp, _offset, _eop)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_oword_t)));	\
									\
		DTRACE_PROBE5(mem_writeo, unsigned int, (_offset),	\
		    uint32_t, (_eop)->eo_u32[3],			\
		    uint32_t, (_eop)->eo_u32[2],			\
		    uint32_t, (_eop)->eo_u32[1],			\
		    uint32_t, (_eop)->eo_u32[0]);			\
									\
		addr = (void *)((_esmp)->esm_base + (_offset));		\
									\
		ddi_put32((_esmp)->esm_acc_handle, addr++,		\
		    (_eop)->eo_u32[0]);					\
		ddi_put32((_esmp)->esm_acc_handle, addr++,		\
		    (_eop)->eo_u32[1]);					\
		ddi_put32((_esmp)->esm_acc_handle, addr++,		\
		    (_eop)->eo_u32[2]);					\
		ddi_put32((_esmp)->esm_acc_handle, addr,		\
		    (_eop)->eo_u32[3]);					\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_MEM_ADDR(_esmp)						\
	((_esmp)->esm_addr)

#define	EFSYS_MEM_IS_NULL(_esmp)					\
	((_esmp)->esm_base == NULL)

/* BAR */

typedef struct efsys_bar_s {
	kmutex_t		esb_lock;
	ddi_acc_handle_t	esb_handle;
	caddr_t			esb_base;
} efsys_bar_t;

#define	EFSYS_BAR_READD(_esbp, _offset, _edp, _lock)			\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_dword_t)));	\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_enter(&((_esbp)->esb_lock));		\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		(_edp)->ed_u32[0] = ddi_get32((_esbp)->esb_handle,	\
		    addr);						\
									\
		DTRACE_PROBE2(bar_readd, unsigned int, (_offset),	\
		    uint32_t, (_edp)->ed_u32[0]);			\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_exit(&((_esbp)->esb_lock));		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_BAR_READQ(_esbp, _offset, _eqp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_qword_t)));	\
									\
		mutex_enter(&((_esbp)->esb_lock));			\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		(_eqp)->eq_u32[0] = ddi_get32((_esbp)->esb_handle,	\
		    addr++);						\
		(_eqp)->eq_u32[1] = ddi_get32((_esbp)->esb_handle,	\
		    addr);						\
									\
		DTRACE_PROBE3(bar_readq, unsigned int, (_offset),	\
		    uint32_t, (_eqp)->eq_u32[1],			\
		    uint32_t, (_eqp)->eq_u32[0]);			\
									\
		mutex_exit(&((_esbp)->esb_lock));			\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_BAR_READO(_esbp, _offset, _eop, _lock)			\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_oword_t)));	\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_enter(&((_esbp)->esb_lock));		\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		(_eop)->eo_u32[0] = ddi_get32((_esbp)->esb_handle,	\
		    addr++);						\
		(_eop)->eo_u32[1] = ddi_get32((_esbp)->esb_handle,	\
		    addr++);						\
		(_eop)->eo_u32[2] = ddi_get32((_esbp)->esb_handle,	\
		    addr++);						\
		(_eop)->eo_u32[3] = ddi_get32((_esbp)->esb_handle,	\
		    addr);						\
									\
		DTRACE_PROBE5(bar_reado, unsigned int, (_offset),	\
		    uint32_t, (_eop)->eo_u32[3],			\
		    uint32_t, (_eop)->eo_u32[2],			\
		    uint32_t, (_eop)->eo_u32[1],			\
		    uint32_t, (_eop)->eo_u32[0]);			\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_exit(&((_esbp)->esb_lock));		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_BAR_WRITED(_esbp, _offset, _edp, _lock)			\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_dword_t)));	\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_enter(&((_esbp)->esb_lock));		\
									\
		DTRACE_PROBE2(bar_writed, unsigned int, (_offset),	\
		    uint32_t, (_edp)->ed_u32[0]);			\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		ddi_put32((_esbp)->esb_handle, addr,			\
		    (_edp)->ed_u32[0]);					\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_exit(&((_esbp)->esb_lock));		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_BAR_WRITEQ(_esbp, _offset, _eqp)				\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_qword_t)));	\
									\
		mutex_enter(&((_esbp)->esb_lock));			\
									\
		DTRACE_PROBE3(bar_writeq, unsigned int, (_offset),	\
		    uint32_t, (_eqp)->eq_u32[1],			\
		    uint32_t, (_eqp)->eq_u32[0]);			\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		ddi_put32((_esbp)->esb_handle, addr++,			\
		    (_eqp)->eq_u32[0]);					\
		ddi_put32((_esbp)->esb_handle, addr,			\
		    (_eqp)->eq_u32[1]);					\
									\
		mutex_exit(&((_esbp)->esb_lock));			\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/*
 * Guarantees 64bit aligned 64bit writes to write combined BAR mapping
 * (required by PIO hardware)
 */
#define	EFSYS_BAR_WC_WRITEQ(_esbp, _offset, _eqp)			\
	do {								\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_qword_t)));	\
									\
		(void) (_esbp);						\
									\
		/* FIXME: Perform a 64-bit write */			\
		EFSYS_ASSERT(0);					\
									\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_BAR_WRITEO(_esbp, _offset, _eop, _lock)			\
	do {								\
		uint32_t *addr;						\
									\
		_NOTE(CONSTANTCONDITION)				\
		ASSERT(IS_P2ALIGNED(_offset, sizeof (efx_oword_t)));	\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_enter(&((_esbp)->esb_lock));		\
									\
		DTRACE_PROBE5(bar_writeo, unsigned int, (_offset),	\
		    uint32_t, (_eop)->eo_u32[3],			\
		    uint32_t, (_eop)->eo_u32[2],			\
		    uint32_t, (_eop)->eo_u32[1],			\
		    uint32_t, (_eop)->eo_u32[0]);			\
									\
		addr = (void *)((_esbp)->esb_base + (_offset));		\
									\
		ddi_put32((_esbp)->esb_handle, addr++,			\
		    (_eop)->eo_u32[0]);					\
		ddi_put32((_esbp)->esb_handle, addr++,			\
		    (_eop)->eo_u32[1]);					\
		ddi_put32((_esbp)->esb_handle, addr++,			\
		    (_eop)->eo_u32[2]);					\
		ddi_put32((_esbp)->esb_handle, addr,			\
		    (_eop)->eo_u32[3]);					\
									\
		_NOTE(CONSTANTCONDITION)				\
		if (_lock)						\
			mutex_exit(&((_esbp)->esb_lock));		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* Use the standard octo-word write for doorbell writes */
#define	EFSYS_BAR_DOORBELL_WRITEO(_esbp, _offset, _eop)			\
	do {								\
		EFSYS_BAR_WRITEO((_esbp), (_offset), (_eop), B_FALSE);	\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* SPIN */

#define	EFSYS_SPIN(_us)							\
	drv_usecwait(_us)

/* TODO: Perhaps this should use delay(9F)? */
#define	EFSYS_SLEEP	EFSYS_SPIN

/* BARRIERS */

/* Strict ordering guaranteed by devacc.devacc_attr_dataorder */
#define	EFSYS_MEM_READ_BARRIER()	membar_consumer()
/* TODO: Is ddi_put32() properly barriered? */
#define	EFSYS_PIO_WRITE_BARRIER()

/* DMA SYNC */
/*
 * It could be cheaper to sync entire map than calculate offset and
 * size. If so, below macros should be updated to ignore these arguments
 * and sync entire map.
 */
#define	EFSYS_DMA_SYNC_FOR_KERNEL(_esmp, _offset, _size)		\
	(void) ddi_dma_sync((_esmp)->esm_dma_handle,			\
	    (_offset), (_size), DDI_DMA_SYNC_FORKERNEL)

#define	EFSYS_DMA_SYNC_FOR_DEVICE(_esmp, _offset, _size)		\
	(void) ddi_dma_sync((_esmp)->esm_dma_handle,			\
	    (_offset), (_size), DDI_DMA_SYNC_FORDEV)

/* TIMESTAMP */

typedef	clock_t	efsys_timestamp_t;

/* TODO: Arguably this could use gethrtime */
#define	EFSYS_TIMESTAMP(_usp)						\
	do {								\
		*(_usp) = drv_hztousec(ddi_get_lbolt());		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* KMEM */

#define	EFSYS_KMEM_ALLOC(_esip, _size, _p)				\
	do {								\
		(_esip) = (_esip);					\
		(_p) = kmem_zalloc((_size), KM_NOSLEEP);		\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_KMEM_FREE(_esip, _size, _p)				\
	do {								\
		(_esip) = (_esip);					\
		kmem_free((_p), (_size));				\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* LOCK */

typedef kmutex_t	efsys_lock_t;

#define	EFSYS_LOCK_MAGIC	0x000010c4

#define	EFSYS_LOCK(_lockp, _state)					\
	do {								\
		mutex_enter(_lockp);					\
		(_state) = EFSYS_LOCK_MAGIC;				\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_UNLOCK(_lockp, _state)					\
	do {								\
		if ((_state) != EFSYS_LOCK_MAGIC)			\
			ASSERT(B_FALSE);				\
		mutex_exit(_lockp);					\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* STAT */

typedef kstat_named_t		efsys_stat_t;

#define	EFSYS_STAT_INCR(_knp, _delta) 					\
	do {								\
		((_knp)->value.ui64) += (_delta);			\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_DECR(_knp, _delta) 					\
	do {								\
		((_knp)->value.ui64) -= (_delta);			\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_SET(_knp, _val)					\
	do {								\
		((_knp)->value.ui64) = (_val);				\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_SET_QWORD(_knp, _valp)				\
	do {								\
		((_knp)->value.ui64) = LE_64((_valp)->eq_u64[0]);	\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_SET_DWORD(_knp, _valp)				\
	do {								\
		((_knp)->value.ui64) = LE_32((_valp)->ed_u32[0]);	\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_INCR_QWORD(_knp, _valp)				\
	do {								\
		((_knp)->value.ui64) += LE_64((_valp)->eq_u64[0]);	\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

#define	EFSYS_STAT_SUBR_QWORD(_knp, _valp)				\
	do {								\
		((_knp)->value.ui64) -= LE_64((_valp)->eq_u64[0]);	\
	_NOTE(CONSTANTCONDITION)					\
	} while (B_FALSE)

/* ERR */

extern void	sfxge_err(efsys_identifier_t *, unsigned int,
		    uint32_t, uint32_t);

#if EFSYS_OPT_DECODE_INTR_FATAL
#define	EFSYS_ERR(_esip, _code, _dword0, _dword1)			\
	sfxge_err((_esip), (_code), (_dword0), (_dword1))
#endif

/* PROBE */

#define	EFSYS_PROBE(_name)						\
	DTRACE_PROBE(_name)

#define	EFSYS_PROBE1(_name, _type1, _arg1)				\
	DTRACE_PROBE1(_name, _type1, _arg1)

#define	EFSYS_PROBE2(_name, _type1, _arg1, _type2, _arg2)		\
	DTRACE_PROBE2(_name, _type1, _arg1, _type2, _arg2)

#define	EFSYS_PROBE3(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3)						\
	DTRACE_PROBE3(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3)

#define	EFSYS_PROBE4(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4)				\
	DTRACE_PROBE4(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4)

#define	EFSYS_PROBE5(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5)		\
	DTRACE_PROBE5(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5)

#define	EFSYS_PROBE6(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5,		\
	    _type6, _arg6)						\
	DTRACE_PROBE6(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5,		\
	    _type6, _arg6)

#define	EFSYS_PROBE7(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5,		\
	    _type6, _arg6, _type7, _arg7)				\
	DTRACE_PROBE7(_name, _type1, _arg1, _type2, _arg2,		\
	    _type3, _arg3, _type4, _arg4, _type5, _arg5,		\
	    _type6, _arg6, _type7, _arg7)

/* ASSERT */

#define	EFSYS_ASSERT(_exp)		ASSERT(_exp)
#define	EFSYS_ASSERT3U(_x, _op, _y)	ASSERT3U(_x, _op, _y)
#define	EFSYS_ASSERT3S(_x, _op, _y)	ASSERT3S(_x, _op, _y)
#define	EFSYS_ASSERT3P(_x, _op, _y)	ASSERT3P(_x, _op, _y)

/* ROTATE */

#define	EFSYS_HAS_ROTL_DWORD 0

#ifdef	__cplusplus
}
#endif

#endif	/* _SYS_EFSYS_H */