*(level2p++) = addr | L1_ATTR; addr += LEVEL1_SIZE;
set_pmd(level2p++, __pmd(addr | __PAGE_KERNEL_LARGE_EXEC)); addr += PMD_SIZE;
static void init_level2_page(u64 *level2p, unsigned long addr){	unsigned long end_addr;	addr &= PAGE_MASK;	end_addr = addr + LEVEL2_SIZE;	while (addr < end_addr) {		*(level2p++) = addr | L1_ATTR;		addr += LEVEL1_SIZE;	}}