Searched refs:p3 (Results 1 – 1 of 1) sorted by relevance
259 xenevtchn_port_or_error_t p3 = xenevtchn_pending(xce_recip); in test_evtchn() local260 if (p3 < 0) err(-1,"xenevtchn_pending(check)"); in test_evtchn()261 if (p3 != recip_port) in test_evtchn()262 errx(-1,"xenevtchn_pending=%d expected %d",p3,recip_port); in test_evtchn()
Completed in 3 milliseconds