cacheflush - Vider le contenu des mémoires caches.

#include <asm/cachectl.h>

int cacheflush(char *addr, int nbytes, int cache);

cacheflush vide le contenu des mémoires caches de l'espace d'adressage utilisateur compris entre addr et (addr+nbytes-1). La mémoire cache est l'une des suivantes :

ICACHE

Mémoire cache d'instructions

DCACHE

Réécriture du cache et désactivation du cache concerné

BCACHE

identique à (ICACHE|DCACHE).

cacheflush renvoie 0 s'il réussit. En cas d'échec, -1 est renvoyé et errno contient le code d'erreur.

EINVAL

Le paramètre de cache n'est pas l'un des trois mentionnés ci-dessus.

EFAULT

Une partie de l'espace d'adressage entre addr et (addr+nbytes-1) n'est pas accessible.

L'implémentation actuelle ignore les paramètres addr et nbytes. A la place, le cache entier est toujours vide.

Cet appel système n'est disponible que sur les systèmes MIPS, il ne faut pas l'employer dans un programme destiné à être portable.

Christophe Blaess, 1996-2003.