rbexp            1270 dev/ipmi.c     	K1 = signextend(s1->rbexp & 0xF, 4);
rbexp            1271 dev/ipmi.c     	K2 = signextend(s1->rbexp >> 4, 4);
rbexp             234 dev/ipmivar.h  	u_int8_t	rbexp;