__kvm_add_default_arch_event_x86
return __kvm_add_default_arch_event_x86(argc, argv);
int __kvm_add_default_arch_event_x86(int *argc, const char **argv);