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