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

/barrelfish-master/kernel/include/arch/x86/
H A Dia32_spaces.h22 static inline uint32_t ia32_msr_read_32(ia32_t *dev, size_t offset);
37 static inline uint32_t ia32_msr_read_32(ia32_t *dev, size_t offset) function
H A Dx86.h51 #define ia32_msr_read_32(_d,_r) ((uint32_t)rdmsr(_r)) macro
/barrelfish-master/kernel/include/arch/x86_32/
H A Dia32_spaces.h31 static inline uint32_t ia32_msr_read_32(ia32_t *base, mackerel_msr_t index) function

Completed in 31 milliseconds