diff --git a/sys/dev/pccbb/pccbb.c b/sys/dev/pccbb/pccbb.c
index 7999fb8e8b68..f9940308beed 100644
--- a/sys/dev/pccbb/pccbb.c
+++ b/sys/dev/pccbb/pccbb.c
@@ -133,19 +133,19 @@ SYSCTL_NODE(_hw, OID_AUTO, cbb, CTLFLAG_RD, 0, "CBB parameters");
 
 /* There's no way to say TUNEABLE_LONG to get the right types */
 u_long cbb_start_mem = CBB_START_MEM;
-TUNABLE_INT("hw.cbb.start_memory", (int *)&cbb_start_mem);
+TUNABLE_ULONG("hw.cbb.start_memory", &cbb_start_mem);
 SYSCTL_ULONG(_hw_cbb, OID_AUTO, start_memory, CTLFLAG_RW,
     &cbb_start_mem, CBB_START_MEM,
     "Starting address for memory allocations");
 
 u_long cbb_start_16_io = CBB_START_16_IO;
-TUNABLE_INT("hw.cbb.start_16_io", (int *)&cbb_start_16_io);
+TUNABLE_ULONG("hw.cbb.start_16_io", &cbb_start_16_io);
 SYSCTL_ULONG(_hw_cbb, OID_AUTO, start_16_io, CTLFLAG_RW,
     &cbb_start_16_io, CBB_START_16_IO,
     "Starting ioport for 16-bit cards");
 
 u_long cbb_start_32_io = CBB_START_32_IO;
-TUNABLE_INT("hw.cbb.start_32_io", (int *)&cbb_start_32_io);
+TUNABLE_ULONG("hw.cbb.start_32_io", &cbb_start_32_io);
 SYSCTL_ULONG(_hw_cbb, OID_AUTO, start_32_io, CTLFLAG_RW,
     &cbb_start_32_io, CBB_START_32_IO,
     "Starting ioport for 32-bit cards");