17dd7cddfSDavid du Colombier #include <u.h> 27dd7cddfSDavid du Colombier #include <libc.h> 37dd7cddfSDavid du Colombier 4*9a747e4fSDavid du Colombier void (*__assert)(char*); 5*9a747e4fSDavid du Colombier 67dd7cddfSDavid du Colombier void _assert(char * s)77dd7cddfSDavid du Colombier_assert(char *s) 87dd7cddfSDavid du Colombier { 9*9a747e4fSDavid du Colombier if(__assert) 10*9a747e4fSDavid du Colombier (*__assert)(s); 117dd7cddfSDavid du Colombier fprint(2, "assert failed: %s\n", s); 127dd7cddfSDavid du Colombier abort(); 137dd7cddfSDavid du Colombier } 14