Searched defs:savic_ghcb_msr_write (Results 1 – 2 of 2) sorted by relevance
1272 void savic_ghcb_msr_write(u32 reg, u64 value) in savic_ghcb_msr_write() function
644 static inline void savic_ghcb_msr_write(u32 reg, u64 value) { } in savic_ghcb_msr_write() function