init_default_cache_policy
void init_default_cache_policy(unsigned long);
init_default_cache_policy(list->__cpu_mm_mmu_flags);