| /seL4-mcs-10.1.1/src/plat/tk1/machine/ |
| H A D | smmu.c | 277 uint32_t UNUSED err_adr = smmu_regs->err_adr;
278 uint32_t UNUSED id = err_status & MC_ERR_ID_MASK;
279 uint32_t UNUSED rw = (err_status & MC_ERR_RW_MASK);
280 uint32_t UNUSED read = (err_status & MC_ERR_INVALID_SMMU_PAGE_READ_MASK);
281 uint32_t UNUSED write = (err_status & MC_ERR_INVALID_SMMU_PAGE_WRITE_MASK);
282 uint32_t UNUSED nonsecure = (err_status & MC_ERR_INVALID_SMMU_PAGE_NONSECURE_MASK);
283 uint32_t UNUSED type = (err_status & MC_ERR_TYPE_MASK) >> MC_ERR_TYPE_SHIFT;
|
| /seL4-mcs-10.1.1/src/arch/x86/kernel/ |
| H A D | cmdline.c | 36 static int UNUSED parse_opt(const char *cmdline, const char *opt, char *value, int bufsize)
85 static void UNUSED parse_uint16_array(char* str, uint16_t* array, int array_size)
|
| H A D | boot.c | 105 static UNUSED BOOT_CODE bool_t p_region_overlaps(p_region_t reg)
|
| /seL4-mcs-10.1.1/src/arch/riscv/machine/ |
| H A D | io.c | 97 register word_t UNUSED thread_context asm("t0");
|
| /seL4-mcs-10.1.1/src/kernel/ |
| H A D | sporadic.c | 48 UNUSED static inline void
56 UNUSED static inline void
73 static UNUSED bool_t
108 static UNUSED ticks_t
129 UNUSED word_t prev_size = refill_size(sc);
|
| /seL4-mcs-10.1.1/src/arch/x86/api/ |
| H A D | faults.c | 93 word_t UNUSED stack = sp + i * sizeof(word_t);
|
| /seL4-mcs-10.1.1/src/plat/pc99/machine/ |
| H A D | intel-vtd.c | 214 uint32_t source_id UNUSED; local
215 uint32_t fault_type UNUSED; local
216 uint32_t address[2] UNUSED; local
217 uint32_t reason UNUSED; local
|
| /seL4-mcs-10.1.1/include/plat/bcm2837/plat/ |
| H A D | machine.h | 168 ackInterrupt(UNUSED irq_t irq)
|
| /seL4-mcs-10.1.1/include/ |
| H A D | util.h | 52 #define UNUSED __attribute__((unused)) macro
|
| /seL4-mcs-10.1.1/src/arch/arm/kernel/ |
| H A D | boot.c | 51 bool_t result UNUSED; local
104 bool_t result UNUSED; local
|
| /seL4-mcs-10.1.1/src/arch/riscv/kernel/ |
| H A D | boot.c | 91 bool_t result UNUSED; local
127 bool_t result UNUSED; local
|
| /seL4-mcs-10.1.1/src/arch/arm/32/kernel/ |
| H A D | vspace.c | 338 pte_t UNUSED pteS2;
1979 word_t i, j UNUSED; local
2014 word_t i, j UNUSED; local
2048 word_t i, j UNUSED; local
2080 word_t i, j UNUSED; local
3067 word_t UNUSED sr = getHSR();
3079 word_t UNUSED far = getHDFAR();
3080 word_t UNUSED sr = getHSR();
3092 word_t UNUSED sr = getHSR();
3106 word_t UNUSED ifs
[all...] |
| /seL4-mcs-10.1.1/src/api/ |
| H A D | syscall.c | 84 tcb_t * UNUSED tptr = NODE_STATE(ksCurThread);
89 tcb_t * UNUSED tptr = NODE_STATE(ksCurThread);
|
| /seL4-mcs-10.1.1/src/arch/x86/32/kernel/ |
| H A D | vspace.c | 220 unsigned int UNUSED i;
520 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
|
| /seL4-mcs-10.1.1/src/object/ |
| H A D | untyped.c | 38 cte_t *rootSlot UNUSED; local
|
| H A D | objecttype.c | 546 word_t totalObjectSize UNUSED; local
|
| H A D | cnode.c | 707 finaliseCap_ret_t fc_ret UNUSED; local
|
| H A D | tcb.c | 1498 UNUSED exception_t e = cteDelete(rootSlot, true);
|
| /seL4-mcs-10.1.1/src/plat/spike/machine/ |
| H A D | fdt.c | 119 int UNUSED last = 0;
|
| /seL4-mcs-10.1.1/src/arch/x86/machine/ |
| H A D | breakpoint.c | 544 UNUSED bool_t is_reply)
|
| /seL4-mcs-10.1.1/src/arch/arm/machine/ |
| H A D | debug.c | 377 UNUSED static void
399 UNUSED static void
|
| /seL4-mcs-10.1.1/src/arch/x86/64/kernel/ |
| H A D | vspace.c | 821 create_mapped_it_frame_cap(cap_t vspace_cap, pptr_t pptr, vptr_t vptr, asid_t asid, bool_t use_large, bool_t executable UNUSED) argument
|