coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
cache.h File Reference

Go to the source code of this file.

Functions

static void dcache_clean_all (void)
 
static void dcache_invalidate_all (void)
 
static void dcache_clean_invalidate_all (void)
 

Function Documentation

◆ dcache_clean_all()

static void dcache_clean_all ( void  )
inlinestatic

Definition at line 7 of file cache.h.

◆ dcache_clean_invalidate_all()

static void dcache_clean_invalidate_all ( void  )
inlinestatic

Definition at line 9 of file cache.h.

◆ dcache_invalidate_all()

static void dcache_invalidate_all ( void  )
inlinestatic

Definition at line 8 of file cache.h.