Searched refs:GIC_LPI_OFFSET (Results 1 – 2 of 2) 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()
255 #define GIC_LPI_OFFSET 8192 macro297 ret = kvm_read_guest_lock(kvm, propbase + irq->intid - GIC_LPI_OFFSET, in update_lpi_config()1064 if (lpi_nr < GIC_LPI_OFFSET || in vgic_its_cmd_handle_mapi()