Searched refs:GICR_VPENDBASER_4_1_DB (Results 1 – 2 of 2) sorted by relevance
345 #define GICR_VPENDBASER_4_1_DB (1ULL << 62) macro
4142 GICR_VPENDBASER_4_1_DB); in its_vpe_4_1_deschedule()