Searched defs:ia_cookie (Results 1 – 3 of 3) sorted by relevance
26 intptr_t ia_cookie; /* device cookie */ member
26 int ia_cookie; /* device cookie */ member
162 uintptr_t ia_cookie; /* OF node in openfirmware machines */ member