bt431_set_value    86 drivers/video/fbdev/bt431.h 	*lo = bt431_set_value(ir & 0xff);
bt431_set_value    88 drivers/video/fbdev/bt431.h 	*hi = bt431_set_value((ir >> 8) & 0xff);
bt431_set_value   113 drivers/video/fbdev/bt431.h 	*r = bt431_set_value(value);