Searched refs:supported (Results 1 - 25 of 25) sorted by relevance

/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv6/armv/
H A Dsmp.h14 #error SMP is not supported on ARMv6
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv6/armv/
H A Dsmp.h14 #error SMP is not supported on ARMv6
/seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h108 #error Only PT_LEVELS == 3 is supported
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/
H A Dphy.c33 * what is supported. Returns < 0 on error, 0 if the PHY's advertisement
43 phydev->advertising &= phydev->supported;
91 /* Configure gigabit if it's supported */
100 if (phydev->supported & (SUPPORTED_1000baseT_Half |
293 if (phydev->supported & (SUPPORTED_1000baseT_Full |
295 /* We want a list of states supported by
416 phydev->supported &= features;
535 /* The default values for phydev->supported are provided by the PHY
539 phydev->supported &= PHY_DEFAULT_FEATURES;
545 phydev->supported |
[all...]
H A Dzynq_gem.c238 const u32 supported = SUPPORTED_10baseT_Half | local
288 phydev->supported = supported | ADVERTISED_Pause |
290 phydev->advertising = phydev->supported;
H A Dethtool.h25 uint32_t supported; /* Features this interface supports */ member in struct:ethtool_cmd
86 uint32_t supported; member in struct:ethtool_wolinfo
495 /* CMDs currently supported */
565 /* Indicates what features are supported by the interface. */
H A Dphy.h21 #define PHY_FLAG_BROKEN_RESET (1 << 0) /* soft reset not supported */
176 uint32_t supported; member in struct:phy_device
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dphy.c34 * what is supported. Returns < 0 on error, 0 if the PHY's advertisement
44 phydev->advertising &= phydev->supported;
102 /* Configure gigabit if it's supported */
112 if (phydev->supported & (SUPPORTED_1000baseT_Half |
319 if (phydev->supported & (SUPPORTED_1000baseT_Full |
321 /* We want a list of states supported by
456 phydev->supported &= features;
579 /* The default values for phydev->supported are provided by the PHY
583 phydev->supported &= PHY_DEFAULT_FEATURES;
591 phydev->supported |
[all...]
H A Dethtool.h24 uint32_t supported; /* Features this interface supports */ member in struct:ethtool_cmd
85 uint32_t supported; member in struct:ethtool_wolinfo
494 /* CMDs currently supported */
564 /* Indicates what features are supported by the interface. */
H A Dphy.h23 #define PHY_FLAG_BROKEN_RESET (1 << 0) /* soft reset not supported */
179 uint32_t supported; member in struct:phy_device
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dmicrel.c85 phydev->advertising = phydev->supported = features;
H A Dphy.c49 * what is supported. Returns < 0 on error, 0 if the PHY's advertisement
60 phydev->advertising &= phydev->supported;
92 /* Configure gigabit if it's supported */
93 if (phydev->supported & (SUPPORTED_1000baseT_Half |
292 /* We want a list of states supported by
387 phydev->supported = features;
433 phydev->advertising = phydev->supported = phydev->drv->features;
H A Dphy.h167 uint32_t supported; member in struct:phy_device
H A Dethtool.h24 uint32_t supported; /* Features this interface supports */ member in struct:ethtool_cmd
85 uint32_t supported; member in struct:ethtool_wolinfo
493 /* CMDs currently supported */
563 /* Indicates what features are supported by the interface. */
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/
H A Dwceconf.h104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
/seL4-refos-master/seL4_tools/cmake-tool/
H A Dgriddle312 # List supported target platforms.
393 --platform-help List supported target platforms and exit.
/seL4-refos-master/libs/libutils/src/
H A Dzf_log.c225 #define Platform not supported
/seL4-refos-master/projects/util_libs/libutils/src/
H A Dzf_log.c225 #define Platform not supported
/seL4-refos-master/kernel/manual/parts/
H A Dbootup.tex198 If the platform has an seL4-supported IOMMU, \texttt{numIOPTLevels} contains
H A Dio.tex159 There is presently no way to query seL4 for how many Domain IDs are supported by
290 supported.
H A Dthreads.tex435 events are examples. These events are supported for userspace threads when the kernel
437 debugging extensions API is supported on the following subset of the platforms that the
618 Hardware execution virtualisation is supported on specific arm and x86 platforms. The interface is exposed through a series
/seL4-refos-master/projects/refos/design/
H A Dprotocol.tex196 \autoref{f:sharedata} is an example of how to set up a shared dataspace. Note that it is assumed that the share is not revocable and that sharing is with an entity that is trusted. Therefore, given two clients, at least one of the clients must trust the other client. Mutual distrust is not supported yet because capability transfer to an untrusted entity requires more than a direct call.
/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex982 {\tt\#?} (not supported by all platforms)
2658 option is supported by the window port that you are currently
2944 {\tt MESG } --- message window mapping (the only one supported in 3.4).\\
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/doc/
H A DGuidebook.tex982 {\tt\#?} (not supported by all platforms)
2658 option is supported by the window port that you are currently
2944 {\tt MESG } --- message window mapping (the only one supported in 3.4).\\

Completed in 674 milliseconds