Searched refs:vcpu_cp15_64_high (Results 1 – 2 of 2) sorted by relevance
150 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r)) macro153 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r) + 1) macro
105 vcpu_cp15_64_high(vcpu, r->reg) = val >> 32; in access_vm_reg()