Searched refs:interface (Results 1 - 23 of 23) sorted by relevance

/seL4-test-master/projects/util_libs/libethdrivers/src/plat/imx6/uboot/
H A Dphy.c442 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 Dphy.h164 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 Dphy.h173 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 Dphy.c570 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 Dmarvell.c177 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 Dzynq_gem.c60 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 Dnetdev.h40 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 Dnet.h86 * @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 Dphy.h176 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 Dphy.c617 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 Dmiiphy.h161 * @interface: MAC-PHY protocol
167 phy_interface_t interface);
H A Dnet.h95 * @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 Dioports.c46 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 Dioports.c83 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 Dioports.h10 * 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 Dioports.h11 * 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 Dgic_v2.c31 #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 Dsyscall_stub_gen.py841 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 Dsyscall_stub_gen.py841 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 Dallocman.c444 #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 Di8259.c684 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 Dobjects.tex262 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 Dthreads.tex618 Hardware execution virtualisation is supported on specific arm and x86 platforms. The interface is exposed through a series

Completed in 138 milliseconds