taglinefilesource code
pagesize184arch/alpha/boot/main.cif (hwrpb.pagesize != 8192) {
pagesize185arch/alpha/boot/main.cprintk("Expected 8kB pages, got %ldkB\n", hwrpb.pagesize >> 10);
pagesize89include/asm-alpha/hwrpb.hunsigned long pagesize;    /* 8192, I hope */