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

/seL4-l4v-master/seL4/include/plat/pc99/plat/machine/
H A Dacpi.h72 acpi_rmrr_entry_t entries[CONFIG_MAX_RMRR_ENTRIES]; member in struct:acpi_rmrr_list
/seL4-l4v-master/HOL4/help/src-sml/
H A Dmakebase.sml96 val entries = Listsort.sort compname entries value
/seL4-l4v-master/seL4/src/plat/pc99/machine/
H A Dacpi.c281 unsigned int entries; local
385 unsigned int entries; local
425 unsigned int entries; local
[all...]
/seL4-l4v-master/HOL4/tools/mlyacc/src/
H A Dyacc.sml820 val entries = ref 0 (* save number of action table entries here *) value

Completed in 137 milliseconds