1#ifndef __drivers_ppc_cache_cache_h
2#define __drivers_ppc_cache_cache_h
4extern void memdcbt(
void *addr,
int len);
6extern void memdcbf(
void *addr,
int len);
7extern void memicbi(
void *addr,
int len);
void memicbi(void *addr, int len)
void memdcbf(void *addr, int len)
void memdcbst(void *addr, int len)
void memdcbt(void *addr, int len)
