1 /* SPDX-License-Identifier: GPL-2.0 */ 2 3 #ifndef __SELFTESTS_GIC_V3_ITS_H__ 4 #define __SELFTESTS_GIC_V3_ITS_H__ 5 6 #include <linux/sizes.h> 7 8 void its_init(vm_paddr_t coll_tbl, size_t coll_tbl_sz, 9 vm_paddr_t device_tbl, size_t device_tbl_sz, 10 vm_paddr_t cmdq, size_t cmdq_size); 11 12 void its_send_mapd_cmd(void *cmdq_base, u32 device_id, vm_paddr_t itt_base, 13 size_t itt_size, bool valid); 14 void its_send_mapc_cmd(void *cmdq_base, u32 vcpu_id, u32 collection_id, bool valid); 15 void its_send_mapti_cmd(void *cmdq_base, u32 device_id, u32 event_id, 16 u32 collection_id, u32 intid); 17 void its_send_invall_cmd(void *cmdq_base, u32 collection_id); 18 void its_send_sync_cmd(void *cmdq_base, u32 vcpu_id); 19 20 #endif // __SELFTESTS_GIC_V3_ITS_H__ 21