x86_64_init_pda 114 arch/x86/kernel/head64.c x86_64_init_pda(); x86_64_init_pda 1650 arch/x86/xen/enlighten.c x86_64_init_pda(); x86_64_init_pda 96 include/asm-x86/setup.h void __init x86_64_init_pda(void);