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