Searched refs:csselr_cache_type (Results 1 – 2 of 2) sorted by relevance
54 } csselr_cache_type; 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()