Searched refs:GIC_LPI_OFFSET (Results 1 – 2 of 2) sorted by relevance
23 #define GIC_LPI_OFFSET 8192 macro59 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()
244 #define GIC_LPI_OFFSET 8192 macro286 ret = kvm_read_guest_lock(kvm, propbase + irq->intid - GIC_LPI_OFFSET, in update_lpi_config()1030 if (lpi_nr < GIC_LPI_OFFSET || in vgic_its_cmd_handle_mapi()