Home
last modified time | relevance | path

Searched refs:n (Results 1 – 25 of 38) sorted by relevance

12

/seL4-master/src/arch/arm/armv/armv7-a/
A Dtlb.c20 int n = tlbLockCount; in lockTLBEntry() local
29 x = 1 | (n << 22) | (n << 27); in lockTLBEntry()
30 n ++; in lockTLBEntry()
32 y = (n << 22) | (n << 27); in lockTLBEntry()
37 x = 1 | (n << 28); in lockTLBEntry()
38 n ++; in lockTLBEntry()
40 y = (n << 28); in lockTLBEntry()
A Dcache.c30 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
/seL4-master/
A Dgdb-macros110 printf "invalid root\n"
186 printf "empty\n"
367 printf "\nCSpace:\n"
370 printf "\nVSpace:\n"
373 printf "\nReply slot:\n"
483 printf "\n"
496 printf "\n\n"
508 printf "no handler\n"
827 set $n = 0
828 while ($n < 1024)
[all …]
/seL4-master/include/
A Dutil.h39 #define BIT(n) (UL_CONST(1) << (n)) argument
40 #define MASK(n) (BIT(n) - UL_CONST(1)) argument
41 #define IS_ALIGNED(n, b) (!((n) & MASK(b))) argument
42 #define ROUND_DOWN(n, b) (((n) >> (b)) << (b)) argument
43 #define ROUND_UP(n, b) (((((n) - UL_CONST(1)) >> (b)) + UL_CONST(1)) << (b)) argument
76 #define ALIGN(n) __attribute__((__aligned__(n))) argument
131 void memzero(void *s, unsigned long n);
132 void *memset(void *s, unsigned long c, unsigned long n) VISIBLE;
133 void *memcpy(void *ptr_dst, const void *ptr_src, unsigned long n) VISIBLE;
134 int PURE strncmp(const char *s1, const char *s2, int n);
A Dlinker.h25 #define ALIGN_BSS(n) ALIGN(n) SECTION(".bss.aligned") argument
/seL4-master/include/arch/riscv/arch/64/mode/
A Dhardware.h120 uint64_t n; in riscv_read_time() local
123 : "=r"(n)); in riscv_read_time()
124 return n; in riscv_read_time()
129 uint64_t n; in riscv_read_cycle() local
132 : "=r"(n)); in riscv_read_cycle()
133 return n; in riscv_read_cycle()
/seL4-master/src/
A Dutil.c22 void memzero(void *s, unsigned long n) in memzero() argument
28 assert(n % sizeof(unsigned long) == 0); in memzero()
36 while (n != 0) { in memzero()
39 n -= sizeof(ulong_alias); in memzero()
43 void *VISIBLE memset(void *s, unsigned long c, unsigned long n) in memset() argument
52 memzero(s, n); in memset()
55 for (p = (uint8_t *)s; n > 0; n--, p++) { in memset()
63 void *VISIBLE memcpy(void *ptr_dst, const void *ptr_src, unsigned long n) in memcpy() argument
68 for (p = (uint8_t *)ptr_dst, q = (const uint8_t *)ptr_src; n; n--, p++, q++) { in memcpy()
75 int PURE strncmp(const char *s1, const char *s2, int n) in strncmp() argument
[all …]
/seL4-master/include/arch/riscv/arch/machine/
A Dhardware.h48 #define RISCV_GET_PT_INDEX(addr, n) (((addr) >> (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n… argument
49 #define RISCV_GET_LVL_PGSIZE_BITS(n) (((PT_INDEX_BITS) * (((CONFIG_PT_LEVELS) - 1) - (n))) + seL4_P… argument
50 #define RISCV_GET_LVL_PGSIZE(n) BIT(RISCV_GET_LVL_PGSIZE_BITS((n))) argument
/seL4-master/include/drivers/smmu/
A Dsmmuv2.h28 #define SMMU_CBn_PADDR(cb_base, n ,page_size) ((cb_base) + n * (page_size)) argument
38 #define SMMU_CBn_BASE_PPTR(n) ((SSMU_CB_BASE_PPTR) + (n) * (SMMU_PAGE_4KB)) argument
84 #define SMMU_SMRn(n) (0x800 + (n) * 0x4) argument
87 #define SMMU_S2CRn(n) (0xc00 + (n) * 0x4) argument
91 #define SMMU_CBARn(n) (0x000 + (n) * 0x4) argument
94 #define SMMU_CBFRSYNRAn(n) (0x400 + (n) * 0x4) argument
97 #define SMMU_CBA2Rn(n) (0x800 + (n) * 0x4) argument
405 #define CBn_MAIRm_ATTR_SHIFT(n) ((n) << 3) argument
/seL4-master/tools/hardware/outputs/
A Delfloader.py105 psci_node = [n for n in devices if n.has_prop('compatible')
106 and n.get_prop('compatible').strings[0] in PSCI_COMPAT]
/seL4-master/src/arch/x86/machine/
A Dhardware.c44 uint32_t n; in getCacheLineSizeBits() local
53 n = 0; in getCacheLineSizeBits()
56 n++; in getCacheLineSizeBits()
64 return n; in getCacheLineSizeBits()
/seL4-master/manual/tools/
A Dparse_doxygen_xml.py151 return "\n\n".join([self.parse_para(n) for n in para_nodes])
168 for n in names:
172 params[str(n.text)] = {"type": param_type}
173 param_order.append(str(n.text))
216 for n in parent.detaileddescription.find_all('para', recursive=False):
217 if not n.parameterlist:
218 details += self.parse_para(n, ref_dict)
224 for n in simplesects:
225 if n['kind'] == "return":
226 ret = self.parse_para(n.find('para'), ref_dict)
/seL4-master/libsel4/include/sel4/
A Dmacros.h68 #define LIBSEL4_BIT(n) (1ul<<(n)) argument
/seL4-master/tools/
A Dreciprocal.py35 def do_div(n): argument
36 return ((n + add_ind) * magic) >> shift_amt
A Dlex.py319 def skip(self, n): argument
320 self.lexpos += n
499 for n in namelist:
500 if n and n[0]:
501 result.append((fdict[n[0]], n[1]))
503 result.append(n)
633 for n in self.tokens:
637 if n in terminals:
639 terminals[n] = 1
966 for n in linfo.tokens:
[all …]
A Dhelpers.cmake553 "\n"
557 file(GENERATE OUTPUT "${config_file}" CONTENT "\n#pragma once\n\n${config_header_contents}")
582 set(config_header_contents "\n#pragma once\n\n")
587 string(APPEND config_header_contents "#include <${config}/gen_config.h>\n")
/seL4-master/include/smp/
A Dipi.h27 static inline word_t get_ipi_arg(word_t n) in get_ipi_arg() argument
29 assert(n < MAX_IPI_ARGS); in get_ipi_arg()
30 return ipi_args[n]; in get_ipi_arg()
/seL4-master/include/object/
A Dstructures.h110 #define ZombieType_ZombieCNode(n) ((n) & MASK(wordRadix)) argument
146 static inline cap_t CONST cap_zombie_cap_set_capZombieNumber(cap_t cap, word_t n) in cap_zombie_cap_set_capZombieNumber() argument
150 return cap_zombie_cap_set_capZombieID(cap, ptr | (n & MASK(radix + 1))); in cap_zombie_cap_set_capZombieNumber()
A Dtcb.h125 word_t *recvBuf, word_t n);
212 word_t n, word_t arch, bool_t call);
214 word_t n, word_t arch, word_t *buffer);
/seL4-master/src/arch/arm/armv/armv8-a/64/
A Dcache.c29 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
/seL4-master/src/arch/arm/armv/armv8-a/32/
A Dcache.c30 #define CTYPE(x,n) (((x) >> (n*3)) & MASK(3)) argument
/seL4-master/src/object/
A Dtcb.c417 word_t *recvBuf, word_t n) in copyMRs() argument
422 for (i = 0; i < n && i < n_msgRegisters; i++) { in copyMRs()
432 for (; i < n; i++) { in copyMRs()
928 word_t transferArch, flags, n; in decodeReadRegisters() local
938 n = getSyscallArg(1, buffer); in decodeReadRegisters()
940 if (n < 1 || n > n_frameRegisters + n_gpRegisters) { in decodeReadRegisters()
942 (int)n); in decodeReadRegisters()
963 n, transferArch, call); in decodeReadRegisters()
1961 && i + n_frameRegisters < n) { in invokeTCB_ReadRegisters()
1989 if (n > n_frameRegisters + n_gpRegisters) { in invokeTCB_WriteRegisters()
[all …]
A Dcnode.c600 word_t n = cap_zombie_cap_get_capZombieNumber(cap); in capRemovable() local
602 return (n == 0 || (n == 1 && slot == z_slot)); in capRemovable()
667 word_t n, type; in reduceZombie() local
672 n = cap_zombie_cap_get_capZombieNumber(slot->cap); in reduceZombie()
676 assert(n > 0); in reduceZombie()
679 cte_t *endSlot = &ptr[n - 1]; in reduceZombie()
695 cap_zombie_cap_get_capZombieNumber(slot->cap) == n && in reduceZombie()
699 cap_zombie_cap_set_capZombieNumber(slot->cap, n - 1); in reduceZombie()
/seL4-master/src/kernel/
A Dboot.c135 BOOT_CODE static pptr_t alloc_rootserver_obj(word_t size_bits, word_t n) in alloc_rootserver_obj() argument
140 rootserver_mem.start += (n * BIT(size_bits)); in alloc_rootserver_obj()
143 memzero((void *) allocated, n * BIT(size_bits)); in alloc_rootserver_obj()
218 word_t n = arch_get_n_paging(it_v_reg); in create_rootserver_objects() local
219 rootserver.paging.start = alloc_rootserver_obj(seL4_PageTableBits, n); in create_rootserver_objects()
220 rootserver.paging.end = rootserver.paging.start + n * BIT(seL4_PageTableBits); in create_rootserver_objects()
/seL4-master/src/arch/x86/32/kernel/
A Dvspace.c424 word_t n = get_n_paging(it_v_reg, PT_INDEX_BITS + PAGE_BITS); in arch_get_n_paging() local
426 n += vtd_get_n_paging(&boot_state.rmrr_list); in arch_get_n_paging()
428 return n; in arch_get_n_paging()

Completed in 54 milliseconds

12