wrmsr64

Declaration

void wrmsr64(uint32_t msr, uint64_t val);