Searched refs:gicpns (Results 1 – 1 of 1) sorted by relevance
4055 uint32_t gicpns : 1; member6471 uint32_t gicpns : 1; member