Symbol: paravirt_write_msr
arch/x86/include/asm/paravirt.h
173
paravirt_write_msr(msr, (u64)high << 32 | low);
arch/x86/include/asm/paravirt.h
183
paravirt_write_msr(msr, val);