Searched refs:read_gc0_segctl0 (Results 1 – 2 of 2) sorted by relevance
720 segctl = read_gc0_segctl0() >> 16; in kvm_vz_gva_to_gpa()724 segctl = read_gc0_segctl0(); in kvm_vz_gva_to_gpa()1956 *v = read_gc0_segctl0(); in kvm_vz_get_one_reg()
2192 #define read_gc0_segctl0() __read_ulong_gc0_register($5, 2) macro