tag	line	file	source code
hwrpb	87	arch/alpha/boot/main.c	percpu = (struct percpu_struct *) (hwrpb.processor_offset + (unsigned long) &hwrpb),
hwrpb	116	arch/alpha/boot/main.c	hwrpb.vptb = new_vptb;
hwrpb	181	arch/alpha/boot/main.c	if (hwrpb.pagesize != 8192) {
hwrpb	182	arch/alpha/boot/main.c	printk("Expected 8kB pages, got %ldkB\n", hwrpb.pagesize >> 10);