REGION3_KERNEL
entry = set_pud_bit(entry, REGION3_KERNEL);
new = set_pud_bit(new, REGION3_KERNEL);
prot = pgprot_val(REGION3_KERNEL);