Searched refs:bits (Results 1 - 14 of 14) sorted by relevance

/seL4-mcs-10.1.1/include/arch/arm/arch/
H A Dmachine.h51 static inline void clearMemory(word_t* ptr, word_t bits) argument
53 memzero(ptr, BIT(bits));
54 cleanCacheRange_PoU((word_t)ptr, (word_t)ptr + BIT(bits) - 1,
58 static inline void clearMemoryRAM(word_t* ptr, word_t bits) argument
60 memzero(ptr, BIT(bits));
61 cleanCacheRange_RAM((word_t)ptr, (word_t)ptr + BIT(bits) - 1,
/seL4-mcs-10.1.1/include/fastpath/
H A Dfastpath.h20 word_t guardBits, radixBits, bits; local
23 bits = 0;
32 cptr2 = cptr << bits;
48 bits += guardBits + radixBits;
50 } while (unlikely(bits < wordBits && cap_capType_equals(cap, cap_cnode_cap)));
52 if (unlikely(bits > wordBits)) {
53 /* Depth mismatch. We've overshot wordBits bits. The lookup we've done is
/seL4-mcs-10.1.1/include/arch/riscv/arch/
H A Dmachine.h44 static inline void clearMemory(void* ptr, unsigned int bits) argument
46 memzero(ptr, BIT(bits));
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Ddeprecated.h130 static inline SEL4_DEPRECATED("Use seL4_CNode_CapData_new().words[0]") seL4_Word seL4_CapData_Guard_new(seL4_Word guard, seL4_Word bits) argument
132 return seL4_CNode_CapData_new(guard, bits).words[0];
/seL4-mcs-10.1.1/manual/parts/
H A Dcspace.tex332 significant bits of the capability address. If the two values are
334 most-significant \emph{radix} bits of the capability address as an
336 refers. The slot~$s$ identified by these next \emph{radix} bits might
339 there are remaining bits (following the \emph{radix} bits) in the
342 remaining bits of the capability address. Otherwise, the lookup
367 where there are some bits remaining to be translated;
369 where there are no bits remaining to be translated; and
389 \obj{CNode} capabilities while there are address bits remaining to be
392 the maximum number of bits o
[all...]
H A Dio.tex153 PCI identifier of the device as the low 16 bits of the \texttt{badge} argument, and
154 a Domain ID as the high 16 bits of the \texttt{badge} argument.
157 a 16-bit quantity. The first 8 bits identify the bus that the device is on.
158 The next 5 bits are the device identifier: the number of the device on
159 the bus. The last 3 bits are the function number. A single device may
H A Dvspace.tex40 The size and type of structure at each level, and the number of bits in the virtual address resolved
65 Structures at both levels are indexed by 10 bits in the virtual address.
77 defined, as shown in the table below. All structures are indexed with 9 bits of the virtual
108 \texttt{PageGlobalDirectory}. All paging structures are index by 9 bits of the virtual address.
126 32-bit RISC-V \texttt{PageTables} are indexed by 10 bits of virtual address.
137 64-bit RISC-V follows the SV39 model, where \texttt{PageTables} are indexed by 9 bits of virtual address.
H A Dipc.tex69 \ipcparam{seL4\_Word}{}{receiveDepth}{Number of bits of
132 Only the low 28 bits of the badge are available for use. The kernel will
133 silently ignore any usage of the high 4 bits.
151 These fields specify the root CNode, capability address and number of bits to resolve, respectively, to find
H A Dnotifications.tex38 multiple semaphores (those indicated by the bits set in the badge).
H A Dbootup.tex27 32 bits. This means, the first slot of the CNode has CPTR 0x0, the
H A Dthreads.tex324 For some registers, the kernel will silently mask certain bits or ranges of bits off, and force them to contain certain
549 occured. & \ipcbloc{seL4\_TimeoutFault\_Data} \\ Upper 32-bits of
551 \ipcbloc{seL4\_TimeoutFault\_Consumed} \\ Lower 32-bits of microseconds
/seL4-mcs-10.1.1/src/arch/x86/32/
H A Dhead.S33 # Enable caches by clearing bits 29 and 30 of CR0
/seL4-mcs-10.1.1/include/arch/x86/arch/
H A Dmachine.h296 static inline void clearMemory(void* ptr, unsigned int bits) argument
298 memzero(ptr, BIT(bits));
/seL4-mcs-10.1.1/src/arch/x86/object/
H A Dvcpu.c66 /* Cache the values that we calculated for bits that need to be set high
175 print_bits(word_t bits) argument
178 while (bits) {
179 int index = seL4_WordBits - 1 - clzl(bits);
186 bits &= ~BIT(index);
195 /* check if any bits that should be high, are not
196 * high & val represents the set of bits that are
199 * bits were not high we can invert and mask with
205 printf("Failed to set bits: ");
213 printf("Incorrectly cleared bits
[all...]

Completed in 106 milliseconds