Searched refs:read_gc0_cvmctl (Results 1 – 2 of 2) sorted by relevance
2328 #define read_gc0_cvmctl() __read_64bit_gc0_register($9, 7) macro
2876 guest_cvmctl = read_gc0_cvmctl(); in kvm_vz_hardware_enable()