set_64bit          90 arch/x86/include/asm/pgtable-3level.h 	set_64bit((unsigned long long *)(ptep), native_pte_val(pte));
set_64bit          95 arch/x86/include/asm/pgtable-3level.h 	set_64bit((unsigned long long *)(pmdp), native_pmd_val(pmd));
set_64bit         100 arch/x86/include/asm/pgtable-3level.h 	set_64bit((unsigned long long *)(pudp), native_pud_val(pud));