CIA_BROKEN_TBIA_SIZE
ppte = memblock_alloc_or_panic(CIA_BROKEN_TBIA_SIZE, 32768);
for (i = 0; i < CIA_BROKEN_TBIA_SIZE / sizeof(unsigned long); ++i)
= (CIA_BROKEN_TBIA_SIZE*1024 - 1) & 0xfff00000;