> http://www.netbsd.org/~xtraeme/msr_ipi_handlers.diff

- why iterate over cpus in msr_read_ipi and msr_write_ipi?

- why pick the primary cpu in msr_cpu_broadcast_read?

- what's the point of ci_msr_rvalue?

- for sanity checks, please use panic, rather than printf.

YAMAMOTO Takashi