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

/barrelfish-master/lib/compiler-rt/builtins/
H A Dcpu_model.c585 unsigned MaxExtLevel; local
586 getX86CpuIDAndInfo(0x80000000, &MaxExtLevel, &EBX, &ECX, &EDX);
588 bool HasExtLeaf1 = MaxExtLevel >= 0x80000001 &&

Completed in 27 milliseconds