Symbol: REGION3_KERNEL
arch/s390/boot/vmem.c
402
entry = set_pud_bit(entry, REGION3_KERNEL);
arch/s390/mm/pageattr.c
246
new = set_pud_bit(new, REGION3_KERNEL);
arch/s390/mm/vmem.c
323
prot = pgprot_val(REGION3_KERNEL);