Searched defs:lr (Results 1 - 7 of 7) sorted by relevance
| /seL4-l4v-master/seL4/include/arch/arm/arch/object/ |
| H A D | vcpu.h | 56 virq_t lr[GIC_VCPU_MAX_NUM_LR]; member in struct:gicVCpuIface
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/eval/ |
| H A D | arm_evalLib.sml | 396 let val lr = lower_string r value
|
| /seL4-l4v-master/seL4/include/arch/arm/arch/machine/ |
| H A D | gic_v2.h | 232 uint32_t lr[64]; /* 0x100 RW 0x00000000 List Registers 0-63, see LRn */ member in struct:gich_vcpu_ctrl_map
295 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) argument
|
| /seL4-l4v-master/HOL4/src/pattern_matches/ |
| H A D | constrFamiliesLib.sml | 264 val lr = mk_eq (l, r) value
287 val lr = mk_neg (mk_eq (l, r)) value
|
| /seL4-l4v-master/HOL4/examples/muddy/muddyC/buddy/src/ |
| H A D | bdd.h | 715 { int lr,e; e=bdd_fnload(fname, &lr); r=bdd(lr); return e; } local
718 { int lr,e; e=bdd_load(ifile, &lr); r=bdd(lr); return e; } local
|
| /seL4-l4v-master/HOL4/examples/l3-machine-code/m0/step/ |
| H A D | m0_stepLib.sml | 1366 val lr = bitstringSyntax.dest_b (hd l) value
|
| /seL4-l4v-master/HOL4/examples/ARM/v7/ |
| H A D | arm_parserLib.sml | 325 else let val (lr,rr) = Substring.splitAt (r,sleft) in value
3102 val lr = bit 6 high_bits value
3175 val lr = bit 6 high_bits value
|
Completed in 77 milliseconds