Searched refs:TKEIE (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/
H A Dtimer.h46 uint32_t TKEIE[10]; // Routing of shared interrupt {i}, a bit mask indicating which member in struct:tmr_shared_map
51 // TKEIE masks
/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);

Completed in 26 milliseconds