Searched refs:ctrl_class (Results 1 - 3 of 3) sorted by relevance

/barrelfish-2018-10-04/usr/acpi/arch/x86/
H A Dioapic_controller_client.c104 const char * ctrl_class = "ioapic"; local
105 b->tx_vtbl.register_controller(b, NOP_CONT, label, ctrl_class);
/barrelfish-2018-10-04/usr/pci/
H A Dpci_int_ctrl.c92 const char * ctrl_class = "pci"; local
93 b->tx_vtbl.register_controller(b, NOP_CONT, label, ctrl_class);
/barrelfish-2018-10-04/usr/acpi/
H A Dpcilnk_controller_client.c233 const char * ctrl_class = "pcilnk"; local
234 b->tx_vtbl.register_controller(b, NOP_CONT, label, ctrl_class);

Completed in 38 milliseconds