Searched refs:csselr_cache_level (Results 1 – 2 of 2) sorted by relevance
49 } csselr_cache_level; typedef56 void machine_write_csselr(csselr_cache_level level, csselr_cache_type type);
65 machine_write_csselr(csselr_cache_level level, csselr_cache_type type) in machine_write_csselr()