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

/seL4-refos-master/kernel/src/drivers/timer/
H A Domap3430-timer.c18 #define TIOCP_CFG_SOFTRESET BIT(1) macro
34 timer->cfg = TIOCP_CFG_SOFTRESET;
61 timer->cfg = TIOCP_CFG_SOFTRESET;
H A Dam335x-timer.c18 #define TIOCP_CFG_SOFTRESET BIT(0) macro
102 SET_REGISTER(timer->cfg, TIOCP_CFG_SOFTRESET);
108 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--);
141 timer->cfg = TIOCP_CFG_SOFTRESET;
143 for (timeout = 10000; (timer->cfg & TIOCP_CFG_SOFTRESET) && timeout > 0; timeout--)
/seL4-refos-master/libs/libplatsupport/src/plat/am335x/
H A Dtimer.c24 #define TIOCP_CFG_SOFTRESET BIT(0) macro
45 dmt->hw->cfg = TIOCP_CFG_SOFTRESET;
46 while (dmt->hw->cfg & TIOCP_CFG_SOFTRESET);
114 dmt->hw->cfg = TIOCP_CFG_SOFTRESET;
115 while (dmt->hw->cfg & TIOCP_CFG_SOFTRESET);
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/am335x/
H A Dtimer.c24 #define TIOCP_CFG_SOFTRESET BIT(0) macro
45 dmt->hw->cfg = TIOCP_CFG_SOFTRESET;
46 while (dmt->hw->cfg & TIOCP_CFG_SOFTRESET);
114 dmt->hw->cfg = TIOCP_CFG_SOFTRESET;
115 while (dmt->hw->cfg & TIOCP_CFG_SOFTRESET);

Completed in 54 milliseconds