Searched refs:bits (Results 1 - 14 of 14) sorted by relevance
/seL4-mcs-10.1.1/include/arch/arm/arch/ |
H A D | machine.h | 51 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 D | fastpath.h | 20 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 D | machine.h | 44 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 D | deprecated.h | 130 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 D | cspace.tex | 332 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 D | io.tex | 153 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 D | vspace.tex | 40 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 D | ipc.tex | 69 \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 D | notifications.tex | 38 multiple semaphores (those indicated by the bits set in the badge).
|
H A D | bootup.tex | 27 32 bits. This means, the first slot of the CNode has CPTR 0x0, the
|
H A D | threads.tex | 324 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 D | head.S | 33 # Enable caches by clearing bits 29 and 30 of CR0
|
/seL4-mcs-10.1.1/include/arch/x86/arch/ |
H A D | machine.h | 296 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 D | vcpu.c | 66 /* 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