Searched refs:DABT_DOUBLE_WORD (Results 1 – 4 of 4) sorted by relevance
21 return ( dabt.size == DABT_DOUBLE_WORD || dabt.size == DABT_WORD ); in vgic_reg64_check_access()
15 DABT_DOUBLE_WORD = 3, enumerator
46 return (dabt.size != DABT_DOUBLE_WORD); in vpl011_reg32_check_access()
1231 DABT_DOUBLE_WORD); in vgic_v3_distr_mmio_read()1419 DABT_DOUBLE_WORD); in vgic_v3_distr_mmio_write()
Completed in 7 milliseconds