Index: head/sys/dev/acpi_support/atk0110.c
===================================================================
--- head/sys/dev/acpi_support/atk0110.c
+++ head/sys/dev/acpi_support/atk0110.c
@@ -453,7 +453,7 @@
 aibs_sysctl(SYSCTL_HANDLER_ARGS)
 {
 	struct aibs_softc	*sc = arg1;
-	struct aibs_sensor	*sensor = (void *)arg2;
+	struct aibs_sensor	*sensor = (void *)(intptr_t)arg2;
 	int			i = oidp->oid_number;
 	ACPI_STATUS		rs;
 	ACPI_OBJECT		p, *bp;
@@ -519,7 +519,7 @@
 aibs_sysctl_ggrp(SYSCTL_HANDLER_ARGS)
 {
 	struct aibs_softc	*sc = arg1;
-	struct aibs_sensor	*sensor = (void *)arg2;
+	struct aibs_sensor	*sensor = (void *)(intptr_t)arg2;
 	ACPI_STATUS		rs;
 	ACPI_OBJECT		p, *bp;
 	ACPI_OBJECT_LIST	arg;