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