pti_setup_vsyscall
static void __init pti_setup_vsyscall(void)
static void __init pti_setup_vsyscall(void) { }