2c2
< * $FreeBSD: head/sys/ia64/include/smp.h 96442 2002-05-12 05:54:21Z marcel $
---
> * $FreeBSD: head/sys/ia64/include/smp.h 115084 2003-05-16 21:26:42Z marcel $
17c17
< #define IPI_MCA_RENDEZ 1
---
> #define IPI_HIGH_FP 1
19c19,20
< #define IPI_TEST 3
---
> #define IPI_MCA_RENDEZ 3
> #define IPI_TEST 4
21,23c22,24
< #define IPI_AST 4
< #define IPI_RENDEZVOUS 5
< #define IPI_STOP 6
---
> #define IPI_AST 5
> #define IPI_RENDEZVOUS 6
> #define IPI_STOP 7
25c26
< #define IPI_COUNT 7
---
> #define IPI_COUNT 8
34a36
> void ipi_send(u_int64_t lid, int ipi);