Searched refs:vcpu_cp15_64_high (Results 1 – 2 of 2) sorted by relevance
187 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r)) macro190 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r) + 1) macro
108 vcpu_cp15_64_high(vcpu, r->reg) = upper_32_bits(p->regval); in access_vm_reg()