* Alexey Dobriyan <adobriyan at sw.ru> wrote: > printing eip: f881b9f3 *pdpt = 0000000000003001 <1>*pde = 000000000480a067 *pte = 0000000000000000 > ^^^ thanks, added this to the x86 queue. Ingo