kern/ivy/sharc.c

#ifdef __IVY__
#include <assert.h>

int __ivy_checking_on = 1;

void __sharc_single_thread_error_mayreturn(const char *msg)
{
	int old;
	if (!__ivy_checking_on) return;
	old = __ivy_checking_on;
	warn("Ivy: Not single threaded: %s\n", msg);
	__ivy_checking_on = old;
}

void __sharc_lock_error_mayreturn(const void *lck, const void *what,
                        unsigned int sz, char *msg)
{
	int old;
	if (!__ivy_checking_on) return;
	old = __ivy_checking_on;
	__ivy_checking_on = 0;
	warn("Ivy: The lock %p was not held for (%p,%d): %s\n",
          lck, what, sz, msg);
	__ivy_checking_on = old;
}

void __sharc_lock_coerce_error_mayreturn(void *dstlck, void *srclck, char *msg)
{
	int old;
	if (!__ivy_checking_on) return;
	old = __ivy_checking_on;
	__ivy_checking_on = 0;
	warn("Ivy: The locks in the coercion at %s must be the same\n", msg);
	__ivy_checking_on = old;
}

#endif // __IVY__