Navigation:
Linux Kernel Driver DataBase -
web LKDDB:
Main index -
P index
The Linux kernel configuration item CONFIG_PTE_64BIT has multiple definitions:
arch/powerpc/KconfigThe configuration item CONFIG_PTE_64BIT:
( CONFIG_44x || CONFIG_E500 ) && ( CONFIG_44x ) && ( CONFIG_E500 && CONFIG_PHYS_64BIT )(none)
arch/powerpc/platforms/Kconfig.cputypeThe configuration item CONFIG_PTE_64BIT:
( CONFIG_44x || CONFIG_E500 || CONFIG_PPC_86xx ) && ( CONFIG_PHYS_64BIT )(none)
arch/ppc/KconfigThe configuration item CONFIG_PTE_64BIT:
CONFIG_44x(none)
Raw data from LKDDb:
(none)This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).
The data is retrived from:
Popular queries:
Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - P index
Automatically generated (in year 2013) with gen-web-lkddb.py in lkddb-sources.