Rename pic_ipi_get to pic_ipi_read for intrng.

This commit is contained in:
Andrew Turner 2014-12-24 15:25:18 +00:00
parent 819d692b5e
commit ed600fa777
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=276180
4 changed files with 5 additions and 5 deletions

View file

@ -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) {

View file

@ -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);

View file

@ -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);

View file

@ -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;