juan@xtrarom.org said:
> +#define X86_IPI_READ_MSR		0x00000080
> +#define X86_IPI_WRITE_MSR		0x00000100 

Instead of wasting a bit for each rarely used function, wouldn't it
be better to add a generic handler once and for all, as FreeBSD's
rendez-vous thing?

best regards
Matthias