Searched refs:push040 (Results 1 – 1 of 1) sorted by relevance
47 static inline void push040(unsigned long paddr) in push040() function64 push040(paddr); in pushcl040()167 push040(paddr); in cache_push()