Searched refs:turnstile_dtor (Results 1 – 1 of 1) sorted by relevance
167 static void turnstile_dtor(void *mem, int size, void *arg);429 turnstile_dtor, in init_turnstile0()498 turnstile_dtor(void *mem, int size, void *arg) in turnstile_dtor() function