udbg_shutdown_ps3gelic
void udbg_shutdown_ps3gelic(void);
EXPORT_SYMBOL(udbg_shutdown_ps3gelic);
udbg_shutdown_ps3gelic();