Searched defs:acc (Results 51 - 53 of 53) sorted by relevance
123
| /seL4-l4v-10.1.1/HOL4/src/tfl/src/ |
| H A D | Defn.sml | [all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 435 XtAccelerators acc; /* C value */ member in class:X_Acc_Object
1009 XtAccelerators acc = GetAcc(taskData, (X_Object *)P); local
2311 static Handle EmptyAcc(TaskData *taskData, XtTranslations acc) argument
5830 XtAccelerators acc; member in union:__anon117::__anon118
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/model/ |
| H A D | arm.sml | 4296 val acc = if a = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R a value
4323 val acc = BitsN.@@(R dhi,R dlo) value
4338 val acc = if a = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R a value
4751 val acc = if a = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R a value
4845 val acc = if n = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R n value
4856 val acc = if n = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R n value
4872 val acc = if n = (BitsN.B(0xF,4)) then BitsN.B(0x0,32) else R n value
[all...] |
Completed in 718 milliseconds
123