60 static void acpi_topstar_notify(struct acpi_device *device, u32 event)  in acpi_topstar_notify()  argument
64 	struct topstar_hkey *hkey = acpi_driver_data(device);  in acpi_topstar_notify()
80 static int acpi_topstar_fncx_switch(struct acpi_device *device, bool state)  in acpi_topstar_fncx_switch()  argument
84 	status = acpi_execute_simple_method(device->handle, "FNCX",  in acpi_topstar_fncx_switch()
129 static int acpi_topstar_add(struct acpi_device *device)  in acpi_topstar_add()  argument
137 	strcpy(acpi_device_name(device), "Topstar TPSACPI");  in acpi_topstar_add()
138 	strcpy(acpi_device_class(device), ACPI_TOPSTAR_CLASS);  in acpi_topstar_add()
140 	if (acpi_topstar_fncx_switch(device, true))  in acpi_topstar_add()
146 	device->driver_data = tps_hkey;  in acpi_topstar_add()
154 static int acpi_topstar_remove(struct acpi_device *device)  in acpi_topstar_remove()  argument
156 	struct topstar_hkey *tps_hkey = acpi_driver_data(device);  in acpi_topstar_remove()
158 	acpi_topstar_fncx_switch(device, false);  in acpi_topstar_remove()