Searched refs:GICD_SGI_INTID_MASK (Results 1 – 3 of 3) sorted by relevance
71 #define GICD_SGI_INTID_MASK (0xFUL) macro
90 unsigned int intid = val & GICD_SGI_INTID_MASK; in vgic_mmio_write_sgir()
385 virq = (sgir & GICD_SGI_INTID_MASK); in vgic_v2_to_sgi()
Completed in 6 milliseconds