Symbol: IPMICTL_RECEIVE_MSG
sys/dev/misc/ipmi/ipmi.c
422
case IPMICTL_RECEIVE_MSG:
sys/dev/misc/ipmi/ipmi.c
450
(cmd == IPMICTL_RECEIVE_MSG