Home
last modified time | relevance | path

Searched refs:msr_id (Results 1 – 1 of 1) sorted by relevance

/kernel/arch/x86/include/arch/
A Dx86.h315 static inline uint64_t read_msr(uint32_t msr_id) { in DEFINE_REGISTER_ACCESSOR()
322 : "c"(msr_id)); in DEFINE_REGISTER_ACCESSOR()
327 static inline uint32_t read_msr32(uint32_t msr_id) { in read_msr32() argument
333 : "c"(msr_id) in read_msr32()
339 zx_status_t read_msr_safe(uint32_t msr_id, uint64_t* val);
341 static inline void write_msr(uint32_t msr_id, uint64_t msr_write_val) { in write_msr() argument
345 : "c"(msr_id), "a"(msr_write_val & 0xffffffff), "d"(msr_write_val >> 32)); in write_msr()

Completed in 3 milliseconds