Searched refs:valid (Results 1 - 15 of 15) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c104 bool_t valid; member in struct:lookupFrame_ret
752 ret.valid = false;
760 ret.valid = true;
770 ret.valid = true;
781 ret.valid = true;
788 ret.valid = false;
1634 * the user virtual addresses are not valid in EL2.
1758 if (!resolve_ret.valid) {
2118 /* In the case of remap, the cap should have a valid asid */
2477 if (!lookup_frame_ret.valid) {
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dethtool.h75 uint32_t n_priv_flags; /* number of flags valid in ETHTOOL_GPFLAGS */
223 /* Values changeable by the user. The valid values are
440 * @valid: mask of features to be changed
444 uint32_t valid; member in struct:ethtool_set_features_block
461 * %ETHTOOL_SFEATURES changes features present in features[].valid to the
463 * not set in .valid or not changeable are ignored.
465 * Returns %EINVAL when .valid contains undefined or never-changable bits
468 * %ETHTOOL_F_UNSUPPORTED - there were bits set in .valid that are not
472 * resulting state of bits masked by .valid is not equal to .requested.
474 * in the set. When %ETHTOOL_F_UNSUPPORTED is set, .valid i
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dethtool.h74 uint32_t n_priv_flags; /* number of flags valid in ETHTOOL_GPFLAGS */
222 /* Values changeable by the user. The valid values are
439 * @valid: mask of features to be changed
443 uint32_t valid; member in struct:ethtool_set_features_block
460 * %ETHTOOL_SFEATURES changes features present in features[].valid to the
462 * not set in .valid or not changeable are ignored.
464 * Returns %EINVAL when .valid contains undefined or never-changable bits
467 * %ETHTOOL_F_UNSUPPORTED - there were bits set in .valid that are not
471 * resulting state of bits masked by .valid is not equal to .requested.
473 * in the set. When %ETHTOOL_F_UNSUPPORTED is set, .valid i
[all...]
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dethtool.h74 uint32_t n_priv_flags; /* number of flags valid in ETHTOOL_GPFLAGS */
222 /* Values changeable by the user. The valid values are
438 * @valid: mask of features to be changed
442 uint32_t valid; member in struct:ethtool_set_features_block
459 * %ETHTOOL_SFEATURES changes features present in features[].valid to the
461 * not set in .valid or not changeable are ignored.
463 * Returns %EINVAL when .valid contains undefined or never-changable bits
466 * %ETHTOOL_F_UNSUPPORTED - there were bits set in .valid that are not
470 * resulting state of bits masked by .valid is not equal to .requested.
472 * in the set. When %ETHTOOL_F_UNSUPPORTED is set, .valid i
[all...]
/seL4-refos-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c59 bool_t valid; member in struct:resolve_ret
775 ret.valid = true;
831 ret.valid = false;
2116 if (!resolve_ret.valid) {
/seL4-refos-master/kernel/manual/parts/
H A Dio.tex208 consistent when there are changes to any valid page table mapping entries.
276 a capability to any valid StreamID for the SMMU and delegate access to other
363 Deleting a \obj{seL4\_ARM\_CB} cap that contains a valid capBindSID field will:
H A Dvspace.tex284 shown in \autoref{tbl:vmattr_arm} \ifxeightsix and an enumeration of valid values
H A Dipc.tex206 no longer be valid.
H A Dcspace.tex366 Figure \ref{fig1.4} demonstrates a valid CSpace with the following
H A Dobjects.tex441 memory region. Thus, after this invocation there are no valid references
H A Dthreads.tex320 budget, and if that thread has a valid timeout exception handler capability.
/seL4-refos-master/projects/refos/design/
H A Dinterface.tex70 Create a new memory window segment for the calling client. Note that clients may only create memory windows for their own address space and alignment restrictions may apply here due to implementation and/or hardware restrictions. In the \refOS client environment, a valid memory window segment must be covering any virtual address ranges before any mapping can be performed (including dataspace and device frame mappings).
105 \item [src\_addr] The address of the source frame in the calling client process's VSpace. This address should contain a valid frame, and page-alignment restrictions may apply for this parameter
/seL4-refos-master/kernel/src/arch/riscv/kernel/
H A Dvspace.c33 bool_t valid; member in struct:resolve_ret
80 1 /* valid */
190 1 /* valid */
217 1 /* valid */
541 0 /* valid */
666 1 /* valid */
761 /* if there is already something mapped (valid is set) or we have traversed far enough
762 * that a page table is not valid to map then tell the user that they ahve to delete
784 1 /* valid */
841 /* check the vaddr is valid */
[all...]
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex2188 let you refine how it behaves. Here are the valid prefixes:
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex2188 let you refine how it behaves. Here are the valid prefixes:

Completed in 207 milliseconds