Searched defs:monitor_addr (Results 1 – 3 of 3) sorted by relevance
17 volatile void *monitor_addr; /**< NULL if not currently sleeping */ member
32 uint32_t *monitor_addr, monitor_mask; in vmbus_set_monitor() local
3265 volatile uint64_t *monitor_addr; in dlb2_dequeue_wait() local