Home
last modified time | relevance | path

Searched refs:HIGH_BYTES (Results 1 – 1 of 1) sorted by relevance

/seL4-master/include/drivers/timer/
A Dam335x.h50 #define HIGH_BYTES 0xffffffff00000000 macro
57 if ((deadline & HIGH_BYTES) != 0) { in setDeadline()
58 deadline = (deadline & HIGH_BYTES) >> 32; in setDeadline()
61 assert((deadline & HIGH_BYTES) == 0); in setDeadline()

Completed in 4 milliseconds