Searched refs:lsize (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-master/seL4/src/arch/arm/armv/armv8-a/64/
H A Dcache.c62 word_t lsize = readCacheSize(l, 0); local
63 int lbits = LINEBITS(lsize);
64 int assoc = ASSOC(lsize);
66 int nsets = NSETS(lsize);
79 word_t lsize = readCacheSize(l, 0); local
80 int lbits = LINEBITS(lsize);
81 int assoc = ASSOC(lsize);
83 int nsets = NSETS(lsize);
/seL4-l4v-master/HOL4/src/meson/src/
H A DmesonLib.sml545 then let val lsize = size div (!skew) value
546 val rsize = size - lsize
549 exp_goals depth (lgoals,(insts,offset,lsize))
554 exp_goals depth (rgoals,(insts,offset,lsize))
558 if n + rsize <= lsize + fsize

Completed in 79 milliseconds