ITS_INV_DEVICER_EVENTID_BITS_SHIFT
(0x1ful << ITS_INV_DEVICER_EVENTID_BITS_SHIFT)
(eventid_bits << ITS_INV_DEVICER_EVENTID_BITS_SHIFT));