Home
last modified time | relevance | path

Searched refs:set_pending_bit4 (Results 1 – 1 of 1) sorted by relevance

/rk3399_ARM-atf/include/plat/marvell/odyssey/csr/
H A Dody-csrs-gic.h3625 uint32_t set_pending_bit4 : 1; member
6051 uint32_t set_pending_bit4 : 1; member
10705 uint32_t set_pending_bit4 : 1; member
10775 uint32_t set_pending_bit4 : 1; member