taglinefilesource code
add_to_free_ctxlist944arch/sparc/mm/sun4c.cadd_to_free_ctxlist(ctx_list_pool + ctx);
add_to_free_ctxlist1018arch/sparc/mm/sun4c.cadd_to_free_ctxlist(ctx_old);