kernel code reading: how eeh works on powerpc
kernel code reading: eeh on power