![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <stddef.h>
Go to the source code of this file.
Functions | |
void | dcache_clean_invalidate_all (void) |
void | dcache_clean_by_mva (void const *addr, size_t len) |
void | dcache_clean_invalidate_by_mva (void const *addr, size_t len) |
void | dcache_invalidate_by_mva (void const *addr, size_t len) |
void | dcache_clean_all (void) |
void | dcache_invalidate_all (void) |
unsigned int | dcache_line_bytes (void) |
void | dcache_mmu_disable (void) |
void | dcache_mmu_enable (void) |
void | cache_sync_instructions (void) |
void | tlb_invalidate_all (void) |
Definition at line 18 of file cache.c.
Referenced by dcache_clean_all().