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

/seL4-l4v-10.1.1/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-10.1.1/seL4/src/plat/apq8064/machine/
H A Dtimer.c20 uint32_t en; /* +0x02C */ member in struct:timer

Completed in 114 milliseconds