Searched refs:TARGET_CPU1_GIC_MASK (Results 1 – 3 of 3) sorted by relevance
130 GIC_NON_SEC_SGI_0 | SHIFT_U32(TARGET_CPU1_GIC_MASK, 16)); in raise_sgi0_as_secure()147 interrupt_raise_sgi(itr_chip, GIC_SEC_SGI_0, TARGET_CPU1_GIC_MASK); in release_secondary_early_hpen()
102 #define TARGET_CPU1_GIC_MASK BIT(1) macro
148 #define TARGET_CPU1_GIC_MASK BIT(1) macro