Searched refs:cache_bits (Results 1 – 1 of 1) sorted by relevance
204 u64 cache_bits = SCTLR_ELx_M | SCTLR_ELx_C; in vcpu_has_cache_enabled() local 212 return (vcpu_read_sys_reg(vcpu, reg) & cache_bits) == cache_bits; in vcpu_has_cache_enabled()