Searched defs:en (Results 1 - 2 of 2) sorted by path

/seL4-l4v-master/HOL4/examples/HolCheck/
H A DcacheTools.sml416 val en = Polyhash.peek ce cekey(*Redblackmap.peek(ce,cekey)*) value
442 val (en,rsc,ithm,abthm) = value
[all...]
/seL4-l4v-master/seL4/src/drivers/timer/
H A Dkpss-timer.c16 uint32_t en; /* +0x02C */ member in struct:timer

Completed in 83 milliseconds