Symbol: IPMICTL_RECEIVE_MSG
sys/dev/ipmi/ipmi.c
385
case IPMICTL_RECEIVE_MSG:
sys/dev/ipmi/ipmi.c
426
(cmd == IPMICTL_RECEIVE_MSG