Searched refs:GIC_LPI_OFFSET (Results 1 – 1 of 1) sorted by relevance
23 #define GIC_LPI_OFFSET 8192 macro 59 GUEST_ASSERT(intid >= GIC_LPI_OFFSET); in guest_irq_handler() 65 u32 coll_id, device_id, event_id, intid = GIC_LPI_OFFSET; in guest_setup_its_mappings()