added super_sema_up()