//usr/include/linux/ipmi.h