Searched defs:vcpu_cp15_64_high (Results 1 – 1 of 1) sorted by relevance
155 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r)) macro158 #define vcpu_cp15_64_high(v,r) vcpu_cp15((v),(r) + 1) macro