Searched refs:IPI_MBX_NUM (Results 1 – 2 of 2) sorted by relevance
15 #define IPI_MBX_NUM 4 macro28 uint32_t buf[IPI_MBX_NUM * 2];
301 VMSTATE_UINT32_ARRAY(buf, IPICore, IPI_MBX_NUM * 2),