UNSIGNALED_EVENT_SLOT
page_slots(p->signal_page)[id] = UNSIGNALED_EVENT_SLOT;
if (page_slots(p->signal_page)[id] == UNSIGNALED_EVENT_SLOT)
if (page_slots(p->signal_page)[id] == UNSIGNALED_EVENT_SLOT)
memset(kernel_address, (uint8_t) UNSIGNALED_EVENT_SLOT,
WRITE_ONCE(page_slots(p->signal_page)[ev->event_id], UNSIGNALED_EVENT_SLOT);
if (READ_ONCE(slots[id]) != UNSIGNALED_EVENT_SLOT)
if (READ_ONCE(slots[id]) != UNSIGNALED_EVENT_SLOT) {
memset(backing_store, (uint8_t) UNSIGNALED_EVENT_SLOT,