Searched refs:read_gc0_intctl (Results 1 – 2 of 2) sorted by relevance
2016 *v = read_gc0_intctl(); in kvm_vz_get_one_reg()3102 kvm_write_sw_gc0_intctl(cop0, read_gc0_intctl() & in kvm_vz_vcpu_setup()
2209 #define read_gc0_intctl() __read_32bit_gc0_register($12, 1) macro