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