dev_id(GIC),
dev_id(ITS),