Symbol: VAL_INTEGER
usr/src/uts/common/os/modsysfile.c
1705
if (val_type == VAL_INTEGER) {
usr/src/uts/common/os/modsysfile.c
1926
VAL_INTEGER, (caddr_t)(uintptr_t)ival);