#include <sys/ddi.h>
Architecture independent level 1 (DDI/DKI).
min() compares two signed integers and returns the lesser of the two.
The lesser of the two integers.
min() can be called from user or interrupt context.
max(9F)
Writing Device Drivers