#include "xi3cpsx.h"

XI3cPsx_Config XI3cPsx_ConfigTable[] __attribute__ ((section (".drvcfg_sec"))) = {

	{
		"snps,dw-i3c-master-1.00a", /* compatible */
		0xf1948000, /* reg */
		0x4015, /* interrupts */
		0xe2000000, /* interrupt-parent */
		0x98961be, /* xlnx,i3c-clk-freq-hz */
		0x0 /* xlnx,device-count */
	},
	{
		"snps,dw-i3c-master-1.00a", /* compatible */
		0xf1958000, /* reg */
		0x4016, /* interrupts */
		0xe2000000, /* interrupt-parent */
		0x98961be, /* xlnx,i3c-clk-freq-hz */
		0x0 /* xlnx,device-count */
	},
	{
		"xlnx,psx-i3c-11.0", /* compatible */
		0xf1000000, /* reg */
		0xffff, /* interrupts */
		0xffff, /* interrupt-parent */
		0x2faf080, /* xlnx,i3c-clk-freq-hz */
		0x0 /* xlnx,device-count */
	},
	 {
		 NULL
	}
};