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