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

/seL4-camkes-master/projects/util_libs/libplatsupport/plat_include/tx2/platsupport/plat/
H A Dtimer.h39 struct tmr_shared_map { struct
53 static_assert(sizeof(struct tmr_shared_map) == 0x208, "struct tmr_shared_map has incorrect layout");
/seL4-camkes-master/projects/util_libs/libplatsupport/mach_include/nvidia/platsupport/mach/
H A Dtimer_tk1_tx1_defs.h39 struct tmr_shared_map { struct
H A Dtimer.h48 volatile struct tmr_shared_map *tmr_shared_map; member in struct:nv_tmr
/seL4-camkes-master/projects/util_libs/libplatsupport/src/mach/nvidia/
H A Dtimer.c199 tmr->tmr_shared_map = (void *) tmr->reg_base + TMR_SHARED_OFFSET;
211 tmr->tmr_shared_map->TKEIE[NV_TMR_ID] = BIT(NV_TMR_ID);

Completed in 75 milliseconds