Searched refs:cookie_address (Results 1 – 1 of 1) sorted by relevance
91 inline void* user_array_of(array_cookie* cookie_address) in user_array_of() argument93 return cookie_address + 1; in user_array_of()