Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - C index
The Linux kernel configuration item CONFIG_CLKSRC_DBX500_PRCMU_SCHED_CLOCK
:
( CONFIG_CLKSRC_DBX500_PRCMU && ! CONFIG_CLKSRC_NOMADIK_MTU_SCHED_CLOCK )
Use the always on PRCMU Timer as sched_clock
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 - C index
Automatically generated (in year 2025). See also LKDDb sources on GitLab