Searched defs:monitor (Results 1 - 4 of 4) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/x86_32/
H A Dx86.h65 static inline void monitor(lvaddr_t base, uint32_t extensions, uint32_t hints) function
/barrelfish-2018-10-04/kernel/include/arch/k1om/
H A Dx86.h107 static inline void monitor(lvaddr_t base, uint32_t extensions, uint32_t hints) function
/barrelfish-2018-10-04/kernel/include/arch/x86_64/
H A Dx86.h107 static inline void monitor(lvaddr_t base, uint32_t extensions, uint32_t hints) function
/barrelfish-2018-10-04/include/cpuid/
H A Dcpuid.h310 uint32_t monitor : 1; ///< CPU has monitor/mwait instructions member in struct:cpuid_featureinfo

Completed in 222 milliseconds