udbg_shutdown_ps3gelic
static inline void udbg_shutdown_ps3gelic(void) {}
void udbg_shutdown_ps3gelic(void)