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