* GPL HEADER END
*/
/*
- * Copyright 2008 Sun Microsystems, Inc. All rights reserved
+ * Copyright (c) 2008, 2010, Oracle and/or its affiliates. All rights reserved.
* Use is subject to license terms.
*/
/*
(void)s;
}
+int __down_interruptible(cfs_semaphore_t *s)
+{
+ LASSERT(s != NULL);
+ (void)s;
+ return 0;
+}
+
void __up(cfs_semaphore_t *s)
{
LASSERT(s != NULL);