cuda_shutdown
EVENTHANDLER_REGISTER(shutdown_final, cuda_shutdown, sc,
static void cuda_shutdown(void *xsc, int howto);