#include <machineCache.h>
Static Public Members | |||
void | flush_instruction_cache_for_debugging () | ||
void | flush_instruction_cache_word (void* addr) | ||
void | flush_instruction_cache_range (void* start, void* end) |
void MachineCache::flush_instruction_cache_for_debugging () [inline, static]
|
void MachineCache::flush_instruction_cache_word (void * addr) [static]
|
void MachineCache::flush_instruction_cache_range (void * s, void * e) [static]
|