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

/seL4-test-master/projects/util_libs/libplatsupport/plat_include/bcm2837/platsupport/plat/
H A Dspt.h31 uint32_t reload; /* Also timer reload value, only it doesn't force a reload */ member in struct:arm_timer
/seL4-test-master/projects/util_libs/libethdrivers/plat_include/am335x/ethdrivers/plat/
H A Ddmtimer.h99 /* Value used to enable the timer in auto-reload and compare mode */
102 /* Value used to enable the timer only in auto-reload mode */
193 extern void DMTimerReloadSet(unsigned int baseAdd, unsigned int reload);
/seL4-test-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S40 ljmp $0x08, $1f # reload kernel CS with a far jump
/seL4-test-master/projects/util_libs/libplatsupport/src/mach/omap/
H A Dgpt.c260 uint32_t reload = periodic ? BIT(AR) : 0; local
277 /* Set the reload value. */
288 gpt->gpt_map->tclr |= (reload | BIT(ST));
333 /* set the reload value. */

Completed in 83 milliseconds