diff --git a/drivers/counter/counter_native_sim.c b/drivers/counter/counter_native_sim.c
index c044f8eef3d..87a21280b9f 100644
--- a/drivers/counter/counter_native_sim.c
+++ b/drivers/counter/counter_native_sim.c
@@ -32,7 +32,7 @@ static struct counter_alarm_cfg pending_alarm[DRIVER_CONFIG_INFO_CHANNELS];
 static bool is_alarm_pending[DRIVER_CONFIG_INFO_CHANNELS];
 static struct counter_top_cfg top;
 static bool is_top_set;
-static const struct device *device;
+static const struct device *dev_p;
 
 static void schedule_next_isr(void)
 {
@@ -67,7 +67,7 @@ static void counter_isr(const void *arg)
 		if (is_alarm_pending[i] && (current_value == pending_alarm[i].ticks)) {
 			is_alarm_pending[i] = false;
 			if (pending_alarm[i].callback) {
-				pending_alarm[i].callback(device, i, current_value,
+				pending_alarm[i].callback(dev_p, i, current_value,
 							  pending_alarm[i].user_data);
 			}
 		}
@@ -75,7 +75,7 @@ static void counter_isr(const void *arg)
 
 	if (is_top_set && (current_value == top.ticks)) {
 		if (top.callback) {
-			top.callback(device, top.user_data);
+			top.callback(dev_p, top.user_data);
 		}
 	}
 
@@ -84,7 +84,7 @@ static void counter_isr(const void *arg)
 
 static int ctr_init(const struct device *dev)
 {
-	device = dev;
+	dev_p = dev;
 	memset(is_alarm_pending, 0, sizeof(is_alarm_pending));
 	is_top_set = false;
 	top.ticks = TOP_VALUE;