Searched refs:lastval (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/arch/x86_32/
H A Dexec.c184 * \param lastval Previous value of word
188 * Returns when the 64-bit word at base is not equal to lastval.
190 void monitor_mwait(lvaddr_t base, uint64_t lastval, uint32_t extensions, argument
198 while(*val == lastval) {
200 if(*val != lastval) {
/barrelfish-master/kernel/arch/x86_64/
H A Dexec.c240 * \param lastval Previous value of word
244 * Returns when the 64-bit word at base is not equal to lastval.
246 void monitor_mwait(lvaddr_t base, uint64_t lastval, uint32_t extensions, argument
254 while(*val == lastval) {
256 if(*val != lastval) {
/barrelfish-master/kernel/include/arch/x86/
H A Dx86.h200 void monitor_mwait(lvaddr_t base, uint64_t lastval, uint32_t extensions,

Completed in 81 milliseconds