Searched refs:read_gc0_config4 (Results 1 – 2 of 2) sorted by relevance
2063 *v = read_gc0_config4(); in kvm_vz_get_one_reg()2325 cur = read_gc0_config4(); in kvm_vz_set_one_reg()2824 config4 = read_gc0_config4(); in kvm_vz_resize_guest_vtlb()
2420 #define read_gc0_config4() __read_32bit_gc0_register($16, 4) macro