Lines Matching refs:word_t
49 static lookupIOPDSlot_ret_t lookupIOPDSlot(iopde_t *iopd, word_t io_address)
58 static lookupIOPTSlot_ret_t lookupIOPTSlot(iopde_t *iopd, word_t io_address)
128 cleanCacheRange_RAM((word_t)iopdSlot,
129 ((word_t)iopdSlot) + sizeof(iopde_t),
142 word_t invLabel,
147 word_t *buffer
151 word_t io_address;
152 word_t paddr;
230 cleanCacheRange_RAM((word_t)ioptSlot,
231 ((word_t)ioptSlot) + sizeof(iopte_t),
244 word_t invLabel,
249 word_t *buffer
380 word_t io_address;
401 cleanCacheRange_RAM((word_t)lu_ret.iopdSlot,
402 ((word_t)lu_ret.iopdSlot) + sizeof(iopde_t),
416 word_t io_address;
434 cleanCacheRange_RAM((word_t)lu_ret.ioptSlot,
435 ((word_t)lu_ret.ioptSlot) + sizeof(iopte_t),
447 word_t size = BIT((SMMU_PD_INDEX_BITS));
452 cleanCacheRange_RAM((word_t)pd, (word_t)pd + size, addrFromPPtr(pd));
472 exception_t decodeARMIOSpaceInvocation(word_t invLabel, cap_t cap)