74 extern void __destroy_context(int context_id);
80 	int context_id;  in alloc_extended_context()  local
84 	context_id = hash__alloc_context_id();  in alloc_extended_context()
85 	if (context_id < 0)  in alloc_extended_context()
86 		return context_id;  in alloc_extended_context()
89 	mm->context.extended_id[index] = context_id;  in alloc_extended_context()
90 	return context_id;  in alloc_extended_context()
95 	int context_id;  in need_extra_context()  local
97 	context_id = get_user_context(&mm->context, ea);  in need_extra_context()
98 	if (!context_id)  in need_extra_context()
107 extern void __destroy_context(unsigned long context_id);