Architecture independent level 1 (DDI/DKI).
ASSERT() is a macro which checks to see if the expression EX is true. If it is not, then ASSERT() causes an error message to be logged
to the console and the system to panic. ASSERT() works only if the preprocessor symbol DEBUG is defined.
ASSERT() can be used from user or interrupt context.
Writing Device Drivers