68 extern void __destroy_context(int context_id);
75 	int context_id;  in alloc_extended_context()  local
79 	context_id = hash__alloc_context_id();  in alloc_extended_context()
80 	if (context_id < 0)  in alloc_extended_context()
81 		return context_id;  in alloc_extended_context()
84 	mm->context.extended_id[index] = context_id;  in alloc_extended_context()
85 	return context_id;  in alloc_extended_context()
90 	int context_id;  in need_extra_context()  local
92 	context_id = get_user_context(&mm->context, ea);  in need_extra_context()
93 	if (!context_id)  in need_extra_context()
103 extern void __destroy_context(unsigned long context_id);