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