Symbol: device_set_flags
sys/dev/pci/vga_pci.c
138
device_set_flags(dev, 1);
sys/sys/bus.h
755
void device_set_flags(device_t dev, u_int32_t flags);