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));