Searched defs:evd_cookie (Results 1 – 3 of 3) sorted by relevance
267 uint64_t evd_cookie; member
313 uint64_t evd_cookie; /* userland EVD pointer */ member
3843 uint64_t evd_cookie = 0; in daplka_cno_wait() local