#ifndef _ARCH_MSI_VAR_H_
#define _ARCH_MSI_VAR_H_

#ifndef _SYS_TYPES_H_
#include <sys/types.h>
#endif

void	msi_setup(int intr);
void	msi_map(int intr, uint64_t *addr, uint32_t *data, int cpuid);

#endif	/* !_ARCH_MSI_VAR_H_ */