Symbol: IPMICTL_RECEIVE_MSG_32
usr/src/uts/intel/io/ipmi/ipmi_main.c
287
case IPMICTL_RECEIVE_MSG_32:
usr/src/uts/intel/io/ipmi/ipmi_main.c
364
orig_cmd == IPMICTL_RECEIVE_MSG_32) {