blpi               26 arch/powerpc/mm/ptdump/bats.c 	u32 blpi = upper & 0xfffe0000;
blpi               39 arch/powerpc/mm/ptdump/bats.c 	seq_printf(m, "0x%08x-0x%08x ", blpi, blpi + size - 1);