Searched defs:cfg (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dtimer.h25 uint32_t cfg; // 10h TIOCP_CFG Timer OCP Configuration Register member in struct:timer
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dtimer.h24 uint32_t cfg; /* GPTIMER_CFG 0x10 */ member in struct:timer
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/
H A DregAllocation.sml58 val cfg : (({def : int list, instr : Assem.instr, use : int list}, edgeLab) G.graph) ref = ref (G.empty); value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.1/
H A DregAllocation.sml58 val cfg : (({def : int list, instr : Assem.instr, use : int list}, edgeLab) G.graph) ref = ref (G.empty); value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/dev/sw/working/0.2/
H A DregAllocation.sml58 val cfg : (({def : int list, instr : Assem.instr, use : int list}, edgeLab) G.graph) ref = ref (G.empty); value
[all...]
/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/arm/prog/
H A Darm_progLib.sml778 val cfg = arm_configLib.mk_config_terms config value

Completed in 111 milliseconds