Searched refs:NV_TMR_ID (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer_tk1_tx1_defs.h36 #define NV_TMR_ID TMR1 macro
/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/
H A Dtimer.h36 #define NV_TMR_ID TMR0 macro
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c211 tmr->tmr_shared_map->TKEIE[NV_TMR_ID] = BIT(NV_TMR_ID);
/seL4-camkes-master/projects/util_libs/libplatsupport/src/plat/bcm2837/
H A Dltimer.c26 #define NV_TMR_ID TMR0 macro

Completed in 85 milliseconds