Symbol: IPI_TBIA
sys/arch/vax/vax/multicpu.c
181
case IPI_TBIA:
sys/arch/vax/vax/pmap.c
1009
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
sys/arch/vax/vax/pmap.c
1047
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
sys/arch/vax/vax/pmap.c
1362
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
sys/arch/vax/vax/pmap.c
1453
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);
sys/arch/vax/vax/pmap.c
1578
cpu_send_ipi(IPI_DEST_ALL, IPI_TBIA);