Searched refs:CNTPCT (Results 1 - 9 of 9) sorted by relevance
| /seL4-refos-master/libs/libplatsupport/sel4_arch_include/aarch64/platsupport/sel4_arch/ |
| H A D | util.h | 25 #define CNTPCT "cntpct_el0" macro
|
| /seL4-refos-master/projects/util_libs/libplatsupport/sel4_arch_include/aarch64/platsupport/sel4_arch/ |
| H A D | util.h | 25 #define CNTPCT "cntpct_el0" macro
|
| /seL4-refos-master/libs/libplatsupport/sel4_arch_include/aarch32/platsupport/sel4_arch/ |
| H A D | util.h | 38 #define CNTPCT " p15, 0, %Q0, %R0, c14" /* 64-bit RO Physical Count register */ macro
|
| /seL4-refos-master/projects/util_libs/libplatsupport/sel4_arch_include/aarch32/platsupport/sel4_arch/ |
| H A D | util.h | 38 #define CNTPCT " p15, 0, %Q0, %R0, c14" /* 64-bit RO Physical Count register */ macro
|
| /seL4-refos-master/libs/libplatsupport/arch_include/arm/platsupport/arch/ |
| H A D | generic_timer.h | 28 * CNTPCT to be read from user-level. This is done by setting CONFIG_EXPORT_PCNT_USER in
46 COPROC_READ_64(CNTPCT, time);
|
| /seL4-refos-master/projects/util_libs/libplatsupport/arch_include/arm/platsupport/arch/ |
| H A D | generic_timer.h | 28 * CNTPCT to be read from user-level. This is done by setting CONFIG_EXPORT_PCNT_USER in
46 COPROC_READ_64(CNTPCT, time);
|
| /seL4-refos-master/kernel/src/drivers/timer/ |
| H A D | generic_timer.c | 56 SYSTEM_READ_64(CNTPCT, val);
|
| /seL4-refos-master/kernel/include/arch/arm/arch/32/mode/ |
| H A D | machine.h | 43 #define CNTPCT " p15, 0, %Q0, %R0, c14 " /* 64-bit RO Physical Count register */ macro
66 #define CNT_CT CNTPCT
|
| /seL4-refos-master/kernel/include/arch/arm/arch/64/mode/ |
| H A D | machine.h | 22 #define CNTPCT "cntpct_el0" macro
|
Completed in 54 milliseconds