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

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbddop.c89 static int appexid; /* Current cache id for appex */ variable
1772 appexid = (var << 5) | (appexop << 1); /* FIXME: range! */
1773 quantid = (appexid << 3) | CACHEID_APPEX;
1838 appexid = (var << 5) | (appexop << 1) | 1; /* FIXME: range! */
1839 quantid = (appexid << 3) | CACHEID_APPAL;
1904 appexid = (var << 5) | (appexop << 1) | 1; /* FIXME: range! */
1905 quantid = (appexid << 3) | CACHEID_APPUN;
1985 if (entry->a == l && entry->b == r && entry->c == appexid)
2029 entry->c = appexid;

Completed in 29 milliseconds