sys/arch/x86/include/ipmivar.h
sys/dev/ipmivar.h