107 return (dev_type & (1 << iface_type)) ? 1 : 0;
unsigned int l4_uint32_t
Unsigned 32bit value.
#define L4_INLINE
L4 Inline function attribute.
Common L4 ABI Data Types.
l4vbus_iface_type_t
Different sub-interfaces a vbus device may support.
@ L4VBUS_INTERFACE_BUS
VBus.
@ L4VBUS_INTERFACE_GENERIC
No specific sub interface.
@ L4VBUS_INTERFACE_GPIO
GPIO.
@ L4VBUS_INTERFACE_ICU
Interrupt Controller.
@ L4VBUS_INTERFACE_PCI
PCI.
@ L4VBUS_INTERFACE_PCIDEV
PCI Device.
@ L4VBUS_INTERFACE_PM
Power Management.
int l4vbus_subinterface_supported(l4_uint32_t dev_type, l4vbus_iface_type_t iface_type)
Check if a vbus device supports a given sub-interface.
unsigned l4vbus_interface_opcode(unsigned opcode)
Return the function opcode within the sub-interface of the vbus command.
@ L4VBUS_IFACE_SHIFT
Sub-interface ID shift.
unsigned l4vbus_subinterface(unsigned opcode)
Return the ID of the vbus sub-interface.