Searched refs:vcpu_cp15_64_low (Results 1 – 2 of 2) sorted by relevance
188 #define vcpu_cp15_64_low(v,r) vcpu_cp15((v),(r) + 1) macro191 #define vcpu_cp15_64_low(v,r) vcpu_cp15((v),(r)) macro
109 vcpu_cp15_64_low(vcpu, r->reg) = lower_32_bits(p->regval); in access_vm_reg()