Searched refs:cp15_write_dcimvac (Results 1 - 2 of 2) sorted by relevance
/barrelfish-2018-10-04/kernel/include/arch/armv7/ | ||
H A D | cache.h | 140 cp15_write_dcimvac((uint32_t)addr); |
H A D | cp15.h | 254 static inline void cp15_write_dcimvac(uint32_t x) function |
Completed in 817 milliseconds