tx39_cache_config_write_through
void tx39_cache_config_write_through(void);
tx39_cache_config_write_through();