Searched refs:write_c0_guestctl2 (Results 1 – 2 of 2) sorted by relevance
1722 #define write_c0_guestctl2(val) __write_32bit_c0_register($10, 5, val) macro
2691 write_c0_guestctl2( in kvm_vz_vcpu_load()