On Wed, Aug 20, 2014 at 06:06:21PM +0900, Kengo NAKAHARA wrote: > # intrctl list > IRQ CPU#00(+) CPU#02(+) CPU#04(+) CPU#06(+) > 3 0* 0 0 0 What are you using to identify an interrupt? I.e. is the -i argument value a generic string (with machine dependend content)? Martin