ppc_exit
void ppc_exit(void) __attribute__((__noreturn__));
void ppc_exit(void) __attribute__((__noreturn__));
void ppc_exit(void) __attribute__((__noreturn__));
ppc_exit();
ppc_exit();
void ppc_exit(void) __attribute__((__noreturn__));
void ppc_exit(void) __attribute__((__noreturn__));
ppc_exit();
void ppc_exit(void) __attribute__((__noreturn__));
void ppc_exit(void) __attribute__((__noreturn__));
void ppc_exit(void) __attribute__((__noreturn__));