__destroy_context
extern void __destroy_context(unsigned long context_id);
extern void __destroy_context(int context_id);
__destroy_context(to_book3s(vcpu)->context_id[i]);
__destroy_context(to_book3s(vcpu)->context_id[j]);
__destroy_context(to_book3s(vcpu)->context_id[0]);
EXPORT_SYMBOL_GPL(__destroy_context);
__destroy_context(mm->context.id);
EXPORT_SYMBOL_GPL(__destroy_context);