Home
last modified time | relevance | path

Searched defs:lr (Results 1 – 3 of 3) sorted by relevance

/seL4-master/include/arch/arm/arch/object/
A Dvcpu.h55 virq_t lr[GIC_VCPU_MAX_NUM_LR]; member
/seL4-master/include/arch/arm/arch/machine/
A Dgic_v2.h233 uint32_t lr[64]; /* 0x100 RW 0x00000000 List Registers 0-63, see LRn */ member
296 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) in set_gic_vcpu_ctrl_lr()
A Dgic_v3.h485 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) in set_gic_vcpu_ctrl_lr()

Completed in 6 milliseconds