Searched refs:ccsidr (Results 1 – 3 of 3) sorted by relevance
161 kfree(vcpu->arch.ccsidr); in kvm_arm_vcpu_destroy()
257 if (vcpu->arch.ccsidr) in get_ccsidr()258 return vcpu->arch.ccsidr[csselr]; in get_ccsidr()291 u32 *ccsidr = vcpu->arch.ccsidr; in set_ccsidr() local298 if (!ccsidr) { in set_ccsidr()302 ccsidr = kmalloc_array(CSSELR_MAX, sizeof(u32), GFP_KERNEL_ACCOUNT); in set_ccsidr()303 if (!ccsidr) in set_ccsidr()307 ccsidr[i] = get_ccsidr(vcpu, i); in set_ccsidr()309 vcpu->arch.ccsidr = ccsidr; in set_ccsidr()312 ccsidr[csselr] = val; in set_ccsidr()
771 u32 *ccsidr; member