On Mon, 6 May 2013, Sebastian Hesselbarth wrote: > mask_cache pointer also needs to be initialized for domain generic > chips. It's not only the mask cache pointer. We also need to initialize the mask cache itself. I solved it by spitting out that code from irq_setup_generic_chip(). Thanks, tglx