/seL4-refos-master/libs/libsel4vka/src/ |
H A D | debug-vka.c | 95 unsigned int available = 0; local 100 } else if (available == i && state->live_slots[i] != 0) { 101 available++; 105 if (available == state->live_slots_sz) { 110 state->live_slots[available] = slot; 187 unsigned int available = 0; local 192 } else if (available == i && state->live_objs[i].cookie != 0) { 193 available++; 197 if (available == state->live_objs_sz) { 201 state->live_objs[available] [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4vka/src/ |
H A D | debug-vka.c | 95 unsigned int available = 0; local 100 } else if (available == i && state->live_slots[i] != 0) { 101 available++; 105 if (available == state->live_slots_sz) { 110 state->live_slots[available] = slot; 187 unsigned int available = 0; local 192 } else if (available == i && state->live_objs[i].cookie != 0) { 193 available++; 197 if (available == state->live_objs_sz) { 201 state->live_objs[available] [all...] |
/seL4-refos-master/kernel/manual/parts/ |
H A D | bootup.tex | 24 thread's own resources as well as to all available global resources. 159 symbols \texttt{\_\_executable\_start} and \texttt{\_end} are available). 161 contiguous, and is made up of the smallest frames available on the architecture. 163 available on the architecture it's running on. 178 IOMMU is available. The kernel makes no guarantees about certain sizes of untyped 179 memory being available. 203 On ARM if the platform has any available SMMU units the capabilities for them
|
H A D | ipc.tex | 81 registers are available, the kernel begins using the IPC buffer's 86 available on this architecture) then arguments 1 and 2 would be 108 system calls will wait in a queue for the first available receiver. Likewise, if 111 will wait for the first available sender. 136 On 32-bit platforms, only the low 28 bits of the badge are available for use. 138 On 64-bit platforms, 64 bits are available for badges.
|
H A D | vspace.tex | 179 Each architecture also defines a range of page sizes. In the next section we show the available page 251 capability that authorises the use of a subset of available address-space identifiers. 266 An \obj{ASID Pool} confers the right to create a subset of the available
|
H A D | threads.tex | 102 a scheduling context object available in order to be admitted to the scheduler. 116 multiple threads have available budget concurrently they are scheduled first-in first-out, and 119 A scheduling context that is eligible to be picked by the scheduler, i.e has budget available, is 149 Sporadic threads behave differently depending on the amount of replenishments available, which 168 replenishment which can result in preemption if the next replenishment is not yet available. 319 Timeout faults are raised when a thread attempts to run but has no available 335 available budget returned, another timeout fault will be generated if the 450 Information on the available hardware debugging resources is presented in the form of the following constants: 454 registers available, of all types available o [all...] |
H A D | api.tex | 249 \ipcbloc{IPCBuffer[0]} & Amount of memory available in bytes\\
|
H A D | io.tex | 43 a single \obj{IRQHandler} capability for each interrupt available in the 297 number of context banks available for use and these are allocated using the 437 VSpace's hardware ASID to reuse if there are more VSpaces than available ASIDS.
|
H A D | cspace.tex | 43 sole authority to an object they have made available to clients, or by 69 enough free capability slots available in existing \obj{CNode}s for
|
H A D | objects.tex | 16 Note that some services are available only when the kernel is configured for 351 the specific amount of physical memory available to applications,
|
/seL4-refos-master/kernel/include/kernel/ |
H A D | boot.h | 50 void init_freemem(word_t n_available, const p_region_t *available,
|
/seL4-refos-master/kernel/src/kernel/ |
H A D | boot.c | 703 * Dynamically initialise the available memory on the platform. 706 BOOT_CODE void init_freemem(word_t n_available, const p_region_t *available, argument 716 /* Force ordering and exclusivity of available regions */ 719 assert(available[i].start < available[i].end); 720 assert(available[i].end <= available[i + 1].start); 727 /* convert the available regions to pptrs */ 729 avail_reg[i] = paddr_to_pptr_reg(available[i]); 736 /* Now iterate through the available region [all...] |
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | ethtool.h | 413 * @available: mask of changeable features 419 uint32_t available; member in struct:ethtool_get_features_block 469 * changeable (not present in %ETHTOOL_GFEATURES' features[].available) 544 #define ETHTOOL_GRXRINGS 0x0000002d /* Get RX rings available for LB */
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | ethtool.h | 412 * @available: mask of changeable features 418 uint32_t available; member in struct:ethtool_get_features_block 468 * changeable (not present in %ETHTOOL_GFEATURES' features[].available) 543 #define ETHTOOL_GRXRINGS 0x0000002d /* Get RX rings available for LB */
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | ethtool.h | 411 * @available: mask of changeable features 417 uint32_t available; member in struct:ethtool_get_features_block 467 * changeable (not present in %ETHTOOL_GFEATURES' features[].available) 542 #define ETHTOOL_GRXRINGS 0x0000002d /* Get RX rings available for LB */
|
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 260 {\it NetHack\/} offers a variety of display options. The options available to 375 you have available for spell casting. Again, resting will regenerate the 376 amount available. 567 Help menu: display one of several help texts available. 587 always gives any additional information available about that name. 749 The available options 890 What extended commands are available depends on what features 966 Help menu: get the list of available extended commands. 1047 are available: 1051 Help menu: display one of several help texts available, lik [all...] |
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/ |
H A D | Guidebook.tex | 260 {\it NetHack\/} offers a variety of display options. The options available to 375 you have available for spell casting. Again, resting will regenerate the 376 amount available. 567 Help menu: display one of several help texts available. 587 always gives any additional information available about that name. 749 The available options 890 What extended commands are available depends on what features 966 Help menu: get the list of available extended commands. 1047 are available: 1051 Help menu: display one of several help texts available, lik [all...] |
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 264 bool available = is_available(data->top_level, current, size_bits); local 267 if (available) { 601 ZF_LOGE("Range not available at %p, size %p", vaddr, (void *)size); 673 /* Sanity checks that newly asked reservation space is available. */
|
/seL4-refos-master/libs/libsel4utils/src/vspace/ |
H A D | vspace.c | 264 bool available = is_available(data->top_level, current, size_bits); local 267 if (available) { 601 ZF_LOGE("Range not available at %p, size %p", vaddr, (void *)size); 673 /* Sanity checks that newly asked reservation space is available. */
|
/seL4-refos-master/projects/refos/design/ |
H A D | intro.tex | 45 \refOS is designed with an \Lf family microkernel in mind and assumes the existence of features such as interprocess communication and capabilities. This section describes these assumed features. These features are available in advanced \Lf-based microkernels such as \seLf.
|