Searched refs:available (Results 1 - 20 of 20) sorted by relevance

/seL4-refos-master/libs/libsel4vka/src/
H A Ddebug-vka.c95 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 Ddebug-vka.c95 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 Dbootup.tex24 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 Dipc.tex81 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 Dvspace.tex179 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 Dthreads.tex102 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 Dapi.tex249 \ipcbloc{IPCBuffer[0]} & Amount of memory available in bytes\\
H A Dio.tex43 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 Dcspace.tex43 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 Dobjects.tex16 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 Dboot.h50 void init_freemem(word_t n_available, const p_region_t *available,
/seL4-refos-master/kernel/src/kernel/
H A Dboot.c703 * 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 Dethtool.h413 * @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 Dethtool.h412 * @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 Dethtool.h411 * @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 DGuidebook.tex260 {\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 DGuidebook.tex260 {\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 Dvspace.c264 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 Dvspace.c264 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 Dintro.tex45 \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.

Completed in 118 milliseconds