Searched refs:ia32_msr_write_64 (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/arch/x86/
H A Dia32_spaces.h19 static inline void ia32_msr_write_64(ia32_t *dev, size_t offset,
31 static inline void ia32_msr_write_64(ia32_t *dev, size_t offset, function
H A Dx86.h50 #define ia32_msr_write_64(_d,_r,_v) wrmsr(_r,_v) macro
/barrelfish-master/kernel/include/arch/x86_32/
H A Dia32_spaces.h49 static inline void ia32_msr_write_64(ia32_t *base, mackerel_msr_t index, uint64_t v) function

Completed in 84 milliseconds