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

/seL4-refos-master/libs/libplatsupport/src/plat/fvp/
H A Dsp804.c29 #define TCLR_VALUE_32 BIT(1) macro
112 sp804_regs->control = TCLR_STARTTIMER | TCLR_VALUE_32
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/fvp/
H A Dsp804.c29 #define TCLR_VALUE_32 BIT(1) macro
112 sp804_regs->control = TCLR_STARTTIMER | TCLR_VALUE_32
/seL4-refos-master/libs/libplatsupport/src/plat/hikey/
H A Ddmt.c37 #define TCLR_VALUE_32 BIT(1) macro
144 dmt_regs->control = TCLR_STARTTIMER | TCLR_VALUE_32
/seL4-refos-master/projects/util_libs/libplatsupport/src/plat/hikey/
H A Ddmt.c37 #define TCLR_VALUE_32 BIT(1) macro
144 dmt_regs->control = TCLR_STARTTIMER | TCLR_VALUE_32

Completed in 72 milliseconds