topstar_acpi_fncx_switch  256 drivers/platform/x86/topstar-laptop.c 	return topstar_acpi_fncx_switch(topstar->device, true);
topstar_acpi_fncx_switch  261 drivers/platform/x86/topstar-laptop.c 	topstar_acpi_fncx_switch(topstar->device, false);