/seL4-refos-master/seL4_tools/elfloader-tool/include/arch-arm/armv/armv6/armv/ |
H A D | smp.h | 14 #error SMP is not supported on ARMv6
|
/seL4-refos-master/tools/elfloader/include/arch-arm/armv/armv6/armv/ |
H A D | smp.h | 14 #error SMP is not supported on ARMv6
|
/seL4-refos-master/kernel/include/arch/riscv/arch/64/mode/ |
H A D | hardware.h | 108 #error Only PT_LEVELS == 3 is supported
|
/seL4-refos-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | phy.c | 33 * 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 D | zynq_gem.c | 238 const u32 supported = SUPPORTED_10baseT_Half | local 288 phydev->supported = supported | ADVERTISED_Pause | 290 phydev->advertising = phydev->supported;
|
H A D | ethtool.h | 25 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 D | phy.h | 21 #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 D | phy.c | 34 * 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 D | ethtool.h | 24 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 D | phy.h | 23 #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 D | micrel.c | 85 phydev->advertising = phydev->supported = features;
|
H A D | phy.c | 49 * 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 D | phy.h | 167 uint32_t supported; member in struct:phy_device
|
H A D | ethtool.h | 24 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 D | wceconf.h | 104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
|
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/include/ |
H A D | wceconf.h | 104 # error Only ARM, PPC, ALPHA, SH3, SH4, MIPS and X86 supported
|
/seL4-refos-master/seL4_tools/cmake-tool/ |
H A D | griddle | 312 # List supported target platforms. 393 --platform-help List supported target platforms and exit.
|
/seL4-refos-master/libs/libutils/src/ |
H A D | zf_log.c | 225 #define Platform not supported
|
/seL4-refos-master/projects/util_libs/libutils/src/ |
H A D | zf_log.c | 225 #define Platform not supported
|
/seL4-refos-master/kernel/manual/parts/ |
H A D | bootup.tex | 198 If the platform has an seL4-supported IOMMU, \texttt{numIOPTLevels} contains
|
H A D | io.tex | 159 There is presently no way to query seL4 for how many Domain IDs are supported by 290 supported.
|
H A D | threads.tex | 435 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 D | protocol.tex | 196 \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 D | Guidebook.tex | 982 {\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 D | Guidebook.tex | 982 {\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).\\
|