32 L4VBUS_INTERFACE_ICU = 0,
33 L4VBUS_INTERFACE_GPIO,
35 L4VBUS_INTERFACE_PCIDEV,
38 L4VBUS_INTERFACE_GENERIC = 0x20
96 if (iface_type == L4VBUS_INTERFACE_GENERIC)
99 return (dev_type & (1 << iface_type)) ? 1 : 0;
Common L4 ABI Data Types.
unsigned l4vbus_interface_opcode(unsigned opcode)
Return the function opcode within the sub-interface of the vbus command.
l4vbus_iface_type_t
Different sub-interfaces a vbus device may support.
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_subinterface(unsigned opcode)
Return the ID of the vbus sub-interface.
unsigned int l4_uint32_t
Unsigned 32bit value.