Searched defs:fun (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bvec.c | 412 bvec bvec_map1(bvec a, BDD (*fun)(BDD)) argument
442 bvec bvec_map2(bvec a, bvec b, BDD (*fun)(BDD,BDD)) argument
479 bvec_map3(bvec a, bvec b, bvec c, BDD (*fun)(BDD,BDD,BDD)) argument
[all...] |
| /seL4-l4v-master/seL4/src/plat/pc99/machine/ |
| H A D | acpi.c | 65 uint8_t fun; member in struct:acpi_dmar_devscope::__anon256
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/ |
| H A D | muddy.c | 75 value mlbdd_alloc_final(mlsize_t len, final_fun fun) argument
|
Completed in 54 milliseconds