diff --git a/sys/arm/arm/gic.c b/sys/arm/arm/gic.c
index 10513a681519..af667ca07c45 100644
--- a/sys/arm/arm/gic.c
+++ b/sys/arm/arm/gic.c
@@ -436,7 +436,7 @@ pic_ipi_send(cpuset_t cpus, u_int ipi)
 }
 
 int
-pic_ipi_get(int i)
+pic_ipi_read(int i)
 {
 
 	if (i != -1) {
diff --git a/sys/arm/arm/mp_machdep.c b/sys/arm/arm/mp_machdep.c
index a1b29c112cb4..32dce4dcbff6 100644
--- a/sys/arm/arm/mp_machdep.c
+++ b/sys/arm/arm/mp_machdep.c
@@ -266,7 +266,7 @@ ipi_handler(void *arg)
 
 	cpu = PCPU_GET(cpuid);
 
-	ipi = pic_ipi_get((int)arg);
+	ipi = pic_ipi_read((int)arg);
 
 	while ((ipi != 0x3ff)) {
 		switch (ipi) {
@@ -329,7 +329,7 @@ ipi_handler(void *arg)
 		}
 
 		pic_ipi_clear(ipi);
-		ipi = pic_ipi_get(-1);
+		ipi = pic_ipi_read(-1);
 	}
 
 	return (FILTER_HANDLED);
diff --git a/sys/arm/include/smp.h b/sys/arm/include/smp.h
index 6301c9a95ce0..3803674ddedb 100644
--- a/sys/arm/include/smp.h
+++ b/sys/arm/include/smp.h
@@ -24,7 +24,7 @@ void	ipi_selected(cpuset_t cpus, u_int ipi);
 /* PIC interface */
 void	pic_ipi_send(cpuset_t cpus, u_int ipi);
 void	pic_ipi_clear(int ipi);
-int	pic_ipi_get(int arg);
+int	pic_ipi_read(int arg);
 
 /* Platform interface */
 void	platform_mp_setmaxid(void);
diff --git a/sys/arm/mv/mpic.c b/sys/arm/mv/mpic.c
index 813caf48fa0f..bfb55544ad76 100644
--- a/sys/arm/mv/mpic.c
+++ b/sys/arm/mv/mpic.c
@@ -375,7 +375,7 @@ pic_ipi_send(cpuset_t cpus, u_int ipi)
 }
 
 int
-pic_ipi_get(int i __unused)
+pic_ipi_read(int i __unused)
 {
 	uint32_t val;