rbtn_switch_dev   359 drivers/platform/x86/dell-rbtn.c 					     (void *)false, rbtn_switch_dev);
rbtn_switch_dev   375 drivers/platform/x86/dell-rbtn.c 					     (void *)true, rbtn_switch_dev);