Searched defs:num (Results 1 – 6 of 6) sorted by relevance
| /seL4-master/tools/hardware/utils/ |
| A D | __init__.py | 8 def align_up(num, bits): argument
14 def align_down(num, bits): argument
|
| /seL4-master/src/arch/arm/machine/ |
| A D | debug.c | 165 #define MAKE_DBGBVR(num) MAKE_P14(0, num, 4) argument
166 #define MAKE_DBGBCR(num) MAKE_P14(0, num, 5) argument
167 #define MAKE_DBGWVR(num) MAKE_P14(0, num, 6) argument
168 #define MAKE_DBGWCR(num) MAKE_P14(0, num, 7) argument
169 #define MAKE_DBGXVR(num) MAKE_P14(1, num, 1) argument
|
| /seL4-master/include/plat/pc99/plat/machine/ |
| A D | acpi.h | 73 int num; member
|
| /seL4-master/src/api/ |
| A D | syscall.c | 174 int num = 1; in handleUnknownSyscall() local
|
| /seL4-master/include/arch/arm/arch/machine/ |
| A D | gic_v2.h | 289 static inline virq_t get_gic_vcpu_ctrl_lr(int num) in get_gic_vcpu_ctrl_lr()
296 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) in set_gic_vcpu_ctrl_lr()
|
| A D | gic_v3.h | 425 static inline virq_t get_gic_vcpu_ctrl_lr(int num) in get_gic_vcpu_ctrl_lr()
485 static inline void set_gic_vcpu_ctrl_lr(int num, virq_t lr) in set_gic_vcpu_ctrl_lr()
|
Completed in 11 milliseconds