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