Searched refs:read_from_vcpu (Results 1 – 2 of 2) sorted by relevance
117 write_cp15_state read_from_vcpu = 1204 write_cp15_state read_from_vcpu = 0
328 .macro write_cp15_state read_from_vcpu argument329 .if \read_from_vcpu == 0344 .if \read_from_vcpu == 0372 .if \read_from_vcpu == 0