6 * Model-specific registers
10 FILE_LICENCE ( GPL2_OR_LATER );
13 * Read model-specific register
15 * @v msr Model-specific register
18 static inline __attribute__ (( always_inline )) uint64_t
19 rdmsr ( unsigned int msr ) {
22 __asm__ __volatile__ ( "rdmsr" : "=A" ( value ) : "c" ( msr ) );
27 * Write model-specific register
29 * @v msr Model-specific register
32 static inline __attribute__ (( always_inline )) void
33 wrmsr ( unsigned int msr, uint64_t value ) {
35 __asm__ __volatile__ ( "wrmsr" : : "c" ( msr ), "A" ( value ) );
38 #endif /* _IPXE_MSR_H */