/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/ |
H A D | phy.c | 442 static struct phy_driver *generic_for_interface(phy_interface_t interface) argument 445 if (is_10g_interface(interface)) 453 phy_interface_t interface) 466 return generic_for_interface(interface); 471 phy_interface_t interface) 488 dev->interface = interface; 496 dev->drv = get_phy_driver(dev, interface); 539 unsigned phy_mask, int devad, phy_interface_t interface) 549 return phy_device_create(bus, addr, phy_id, interface); 452 get_phy_driver(struct phy_device *phydev, phy_interface_t interface) argument 469 phy_device_create(struct mii_dev *bus, int addr, int phy_id, phy_interface_t interface) argument 538 create_phy_by_mask(struct mii_dev *bus, unsigned phy_mask, int devad, phy_interface_t interface) argument 555 search_for_existing_phy(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 570 get_phy_device_by_mask(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 600 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 676 phy_connect_by_mask(struct mii_dev *bus, unsigned phy_mask, struct eth_device *dev, phy_interface_t interface) argument 713 phy_connect(struct mii_dev *bus, int addr, struct eth_device *dev, phy_interface_t interface) argument [all...] |
H A D | phy.h | 164 phy_interface_t interface; member in struct:phy_device 196 /* For now, XGMII is the only 10G interface */ 197 static inline int is_10g_interface(phy_interface_t interface) argument 199 return interface == PHY_INTERFACE_MODE_XGMII; 208 phy_interface_t interface); 210 struct eth_device *dev, phy_interface_t interface);
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/zynq7000/uboot/ |
H A D | phy.h | 173 phy_interface_t interface; member in struct:phy_device 213 /* For now, XGMII is the only 10G interface */ 214 static inline int is_10g_interface(phy_interface_t interface) argument 216 return interface == PHY_INTERFACE_MODE_XGMII; 224 phy_interface_t interface); 229 phy_interface_t interface); 234 phy_interface_t interface); 275 * phy_get_interface_by_name() - Look up a PHY interface name 277 * @str: PHY interface name, e.g. "mii" 283 * phy_interface_is_rgmii - Convenience function for testing if a PHY interface [all...] |
H A D | phy.c | 570 static struct phy_driver *generic_for_interface(phy_interface_t interface) argument 573 if (is_10g_interface(interface)) 581 phy_interface_t interface) 594 return generic_for_interface(interface); 599 phy_interface_t interface) 616 dev->interface = interface; 624 dev->drv = get_phy_driver(dev, interface); 667 unsigned phy_mask, int devad, phy_interface_t interface) 675 return phy_device_create(bus, addr, phy_id, interface); 580 get_phy_driver(struct phy_device *phydev, phy_interface_t interface) argument 597 phy_device_create(struct mii_dev *bus, int addr, u32 phy_id, phy_interface_t interface) argument 666 create_phy_by_mask(struct mii_dev *bus, unsigned phy_mask, int devad, phy_interface_t interface) argument 681 search_for_existing_phy(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 696 get_phy_device_by_mask(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 735 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 807 phy_find_by_mask(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 839 phy_connect(struct mii_dev *bus, int addr, struct udevice *dev, phy_interface_t interface) argument [all...] |
H A D | marvell.c | 177 if ((phydev->interface == PHY_INTERFACE_MODE_RGMII) || 178 (phydev->interface == PHY_INTERFACE_MODE_RGMII_ID) || 179 (phydev->interface == PHY_INTERFACE_MODE_RGMII_RXID) || 180 (phydev->interface == PHY_INTERFACE_MODE_RGMII_TXID)) { 183 if ((phydev->interface == PHY_INTERFACE_MODE_RGMII) || 184 (phydev->interface == PHY_INTERFACE_MODE_RGMII_ID)) { 186 } else if (phydev->interface == PHY_INTERFACE_MODE_RGMII_RXID) { 189 } else if (phydev->interface == PHY_INTERFACE_MODE_RGMII_TXID) { 211 if (phydev->interface == PHY_INTERFACE_MODE_SGMII) { 223 if (phydev->interface [all...] |
H A D | zynq_gem.c | 60 phy_interface_t interface; member in struct:zynq_gem_priv 71 /* Wait till MDIO interface is ready to accept a new transaction. */ 284 /* interface - look at tsec */ 286 priv->interface); 321 /* Change the rclk and clk only not using EMIO interface */ 425 priv->interface = PHY_INTERFACE_MODE_MII; 427 priv->interface = CONFIG_ZYNQ_GEM_INTERFACE;
|
H A D | netdev.h | 40 int designware_initialize(ulong base_addr, u32 interface); 101 * As long as the Xilinx xps_ll_temac ethernet driver has not its own interface
|
H A D | net.h | 86 * @phy_interface: PHY interface to use - see PHY_INTERFACE_MODE_... 215 * Set the hardware address for an ethernet interface based on 'eth%daddr' 247 * @index: Index of interface being updated (>=0) 256 * Get the hardware address for an ethernet interface . 837 * @param interface - the DFU medium name - e.g. "mmc" 842 int update_tftp(ulong addr, char *interface, char *devstring);
|
/seL4-test-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | phy.h | 176 phy_interface_t interface; member in struct:phy_device 216 /* For now, XGMII is the only 10G interface */ 217 static inline int is_10g_interface(phy_interface_t interface) argument 219 return interface == PHY_INTERFACE_MODE_XGMII; 227 phy_interface_t interface); 232 phy_interface_t interface); 237 phy_interface_t interface); 278 * phy_get_interface_by_name() - Look up a PHY interface name 280 * @str: PHY interface name, e.g. "mii" 286 * phy_interface_is_rgmii - Convenience function for testing if a PHY interface [all...] |
H A D | phy.c | 617 static struct phy_driver *generic_for_interface(phy_interface_t interface) argument 620 if (is_10g_interface(interface)) { 629 phy_interface_t interface) 643 return generic_for_interface(interface); 648 phy_interface_t interface) 665 dev->interface = interface; 672 dev->drv = get_phy_driver(dev, interface); 717 unsigned phy_mask, int devad, phy_interface_t interface) 725 return phy_device_create(bus, addr, phy_id, interface); 628 get_phy_driver(struct phy_device *phydev, phy_interface_t interface) argument 646 phy_device_create(struct mii_dev *bus, int addr, u32 phy_id, phy_interface_t interface) argument 716 create_phy_by_mask(struct mii_dev *bus, unsigned phy_mask, int devad, phy_interface_t interface) argument 732 search_for_existing_phy(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 747 get_phy_device_by_mask(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 789 get_phy_device(struct mii_dev *bus, int addr, phy_interface_t interface) argument 863 phy_find_by_mask(struct mii_dev *bus, unsigned phy_mask, phy_interface_t interface) argument 894 phy_connect(struct mii_dev *bus, int addr, struct udevice *dev, phy_interface_t interface) argument [all...] |
H A D | miiphy.h | 161 * @interface: MAC-PHY protocol 167 phy_interface_t interface);
|
H A D | net.h | 95 * @phy_interface: PHY interface to use - see PHY_INTERFACE_MODE_... 224 * Set the hardware address for an ethernet interface based on 'eth%daddr' 253 * @index: Index of interface being updated (>=0) 269 * Get the hardware address for an ethernet interface . 871 * @param interface - the DFU medium name - e.g. "mmc" 876 int update_tftp(ulong addr, char *interface, char *devstring);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/ |
H A D | ioports.c | 46 return res_port ? (*res_port)->interface.desc : "Unknown IO Port"; 76 ret = port->interface.port_in(port->interface.cookie, port_no, size, data); 78 ret = port->interface.port_out(port->interface.cookie, port_no, size, *data); 101 port->range.start, port->range.end, port->interface.desc ? port->interface.desc : "Unknown IO Port", 103 io_list->ioports[i]->interface.desc ? io_list->ioports[i]->interface.desc : "Unknown IO Port");
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/ |
H A D | ioports.c | 83 port.range.start, port.range.end, port.interface.desc ? port.interface.desc : "Unknown IO Port", 85 ioport_list->ioports[i].interface.desc ? ioport_list->ioports[i].interface.desc : "Unknown IO Port"); 162 res = port->interface.port_in(vcpu, port->interface.cookie, port_no, size, &value); 164 res = port->interface.port_out(vcpu, port->interface.cookie, port_no, size, value);
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/include/sel4vmmplatsupport/ |
H A D | ioports.h | 10 * The ioports interface provides a useful abstraction for initialising, registering and handling ioport events 11 * for a guest VM instance. This is independent from the x86 libsel4vm ioports interface. This interface is intended 60 * @param {ioport_interface_t} interface Emulation interface for ioport range 64 ioport_interface_t interface; member in struct:ioport_entry 96 * @param {ioport_interface_t} ioport_interface IOPort emulation interface
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/arch_include/x86/sel4vm/arch/ |
H A D | ioports.h | 11 * The x86 ioports interface provides a useful abstraction for initialising, registering and handling ioport events 12 * for a guest VM instance. IOPort faults are directed through this interface. 87 vm_ioport_interface_t interface; member in struct:vm_ioport_entry
|
/seL4-test-master/kernel/src/arch/arm/machine/ |
H A D | gic_v2.c | 31 #error GIC_V2_CONTROLLER_PPTR must be defined for virtual memory access to the gic cpu interface 181 * 0b01 - send the ipi to all CPU interfaces except the cpu interface. 183 * 0b10 - send the ipi only to the CPU interface that requested the IPI. 187 * each bit of CPU target list [7:0] refers to the corresponding CPU interface. 225 #error GIC_V2_VCPUCTRL_PPTR must be defined for virtual memory access to the gic virtual cpu interface control
|
/seL4-test-master/kernel/manual/tools/libsel4_tools/ |
H A D | syscall_stub_gen.py | 841 for interface in doc.getElementsByTagName("interface"): 842 interface_name = interface.getAttribute("name") 843 interface_manual_name = interface.getAttribute("manual_name") or interface_name 845 interface_cap_description = interface.getAttribute("cap_description") 847 for method in interface.getElementsByTagName("method"): 855 # If no manual label is specified, infer one from the interface and method 856 # names by combining the interface name and method name.
|
/seL4-test-master/kernel/libsel4/tools/ |
H A D | syscall_stub_gen.py | 841 for interface in doc.getElementsByTagName("interface"): 842 interface_name = interface.getAttribute("name") 843 interface_manual_name = interface.getAttribute("manual_name") or interface_name 845 interface_cap_description = interface.getAttribute("cap_description") 847 for method in interface.getElementsByTagName("method"): 855 # If no manual label is specified, infer one from the interface and method 856 # names by combining the interface name and method name.
|
/seL4-test-master/projects/seL4_libs/libsel4allocman/src/ |
H A D | allocman.c | 444 #define ALLOCMAN_ATTACH(alloc, space, interface) do { \ 452 alloc->space = interface; \
|
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/arch/x86/i8259/ |
H A D | i8259.c | 684 vm_ioport_interface_t pic_interface = pic_ioports[i].interface; 694 * Furthermore this implements the guest irq controller interface */
|
/seL4-test-master/kernel/manual/parts/ |
H A D | objects.tex | 262 object types whose instances (also simply called \emph{objects}) can be invoked by applications. The interface to these 263 objects forms the interface to the kernel itself. The creation and use
|
H A D | threads.tex | 618 Hardware execution virtualisation is supported on specific arm and x86 platforms. The interface is exposed through a series
|