Searched defs:ci (Results 1 - 4 of 4) sorted by relevance

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcpu_identification.c41 x86_cpuid_fill_vendor_string(cpu_identity_t *ci) argument
61 x86_cpuid_intel_identity_initialize(cpu_identity_t *ci, argument
103 x86_cpuid_amd_identity_initialize(cpu_identity_t *ci, struct family_model original) argument
125 cpu_identity_t *ci = x86_cpuid_get_identity(); local
[all...]
/seL4-l4v-10.1.1/HOL4/src/HolSat/
H A DminisatParse.sml83 else let val ci = id-(sat_getint fin) value
/seL4-l4v-10.1.1/HOL4/src/HolSat/sat_solvers/zc2hs/
H A Dzc2hs.cpp309 int addChain(vector<int>& resolvents, int ci) { argument
332 int addVChain(int vid, bool sgn, int ante, int ci) { argument
366 void addRoot(int ci) { argument
373 void build_clause(int ci) { argument
383 build_var(int ci) argument
397 int ci = vars[var(cc[ii])]; local
408 build(int ci) argument
440 int ci = vars[var(cc[ii])]; local
[all...]
/seL4-l4v-10.1.1/HOL4/src/integer/
H A DCooperMath.sml425 val ci = int_of_term c value

Completed in 42 milliseconds