Home
last modified time | relevance | path

Searched defs:msr (Results 1 – 2 of 2) sorted by relevance

/seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
A Dsyscalls.h888 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) in seL4_X86DangerousWRMSR()
898 LIBSEL4_INLINE_FUNC seL4_Uint64 seL4_X86DangerousRDMSR(seL4_Word msr) in seL4_X86DangerousRDMSR()
/seL4-master/libsel4/sel4_arch_include/x86_64/sel4/sel4_arch/
A Dsyscalls.h621 LIBSEL4_INLINE_FUNC void seL4_X86DangerousWRMSR(seL4_Uint32 msr, seL4_Uint64 value) in seL4_X86DangerousWRMSR()
625 LIBSEL4_INLINE_FUNC seL4_Uint64 seL4_X86DangerousRDMSR(seL4_Uint32 msr) in seL4_X86DangerousRDMSR()

Completed in 6 milliseconds