6
* Model-specific registers
10
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
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 */