Searched refs:cleanCacheRange_PoU (Results 1 - 5 of 5) sorted by relevance
/seL4-l4v-master/seL4/include/arch/arm/arch/ |
H A D | machine.h | 38 void cleanCacheRange_PoU(word_t start, word_t end, paddr_t pstart); 53 cleanCacheRange_PoU((word_t)ptr, (word_t)ptr + BIT(bits) - 1,
|
/seL4-l4v-master/seL4/src/arch/arm/machine/ |
H A D | cache.c | 77 void cleanCacheRange_PoU(vptr_t start, vptr_t end, paddr_t pstart) function
|
/seL4-l4v-master/seL4/src/arch/arm/32/object/ |
H A D | objecttype.c | 200 cleanCacheRange_PoU((pptr_t) &armKSGlobalLogPT[0], 503 cleanCacheRange_PoU((word_t)regionBase,
|
/seL4-l4v-master/seL4/src/arch/arm/32/kernel/ |
H A D | vspace.c | 541 cleanCacheRange_PoU(rootserver.vspace, rootserver.vspace + (1 << seL4_PageDirBits) - 1, 1441 cleanCacheRange_PoU((word_t)&lu_ret.ptSlot[0], 1496 cleanCacheRange_PoU((word_t)&pd[0], LAST_BYTE_PDE(pd, SECTIONS_PER_SUPER_SECTION), 1834 cleanCacheRange_PoU(start, end, pstart); 1920 cleanCacheRange_PoU((word_t)pte_entries.base, 1954 cleanCacheRange_PoU((word_t)pde_entries.base,
|
/seL4-l4v-master/seL4/src/arch/arm/64/kernel/ |
H A D | vspace.c | 1453 cleanCacheRange_PoU(start, end, pstart);
|
Completed in 50 milliseconds