PAGE_GATE 250 arch/ia64/mm/init.c put_kernel_page(page, GATE_ADDR + PAGE_SIZE, PAGE_GATE); PAGE_GATE 252 arch/ia64/mm/init.c put_kernel_page(page, GATE_ADDR + PERCPU_PAGE_SIZE, PAGE_GATE);