Searched defs:gicr_pendbaser (Results 1 – 2 of 2) sorted by relevance
| /external/arm-trusted-firmware/include/drivers/arm/ | ||
| D | gicv3.h | 460 uint64_t gicr_pendbaser; member |
| /external/trusty/arm-trusted-firmware/include/drivers/arm/ | ||
| D | gicv3.h | 506 uint64_t gicr_pendbaser; member |