resource_disabled
if (!cold || resource_disabled("acpi", 0))
if (resource_disabled("acpi", 0))
if (resource_disabled("agp", device_get_unit(dev)))
if (resource_disabled("agp", device_get_unit(dev)))
if (resource_disabled("agp", device_get_unit(dev)))
if (resource_disabled("agp", device_get_unit(dev)))
if (resource_disabled("atapci", device_get_unit(dev)))
if (resource_disabled("amdsbwd", 0))
if (resource_disabled("aperf", 0))
resource_disabled("atkbd", ATKBD_DEFAULT)) {
if (resource_disabled(KEYBOARD_NAME, unit))
if (resource_disabled(SC_DRIVER_NAME, u))
if (resource_disabled(SC_DRIVER_NAME, u))
if (resource_disabled("amdsmn", 0))
if (resource_disabled("amdtemp", 0))
if (resource_disabled("corecstat", 0))
if (resource_disabled("corepower", 0))
if (resource_disabled("coretemp", 0))
if (resource_disabled(device_get_name(dev), device_get_unit(dev))) {
if (resource_disabled("ram", 0))
int resource_disabled(const char *name, int unit);