Searched refs:vcpu_cp15_64_low (Results 1 – 2 of 2) sorted by relevance
156 #define vcpu_cp15_64_low(v,r) vcpu_cp15((v),(r) + 1) macro159 #define vcpu_cp15_64_low(v,r) vcpu_cp15((v),(r)) macro
109 vcpu_cp15_64_low(vcpu, r->reg) = val & 0xffffffffUL; in access_vm_reg()