static void
ps3pic_identify(driver_t *driver, device_t parent)
{
if (strcmp(installed_platform(), "ps3") != 0)
return;
if (device_find_child(parent, "ps3pic", -1) == NULL)
BUS_ADD_CHILD(parent, 0, "ps3pic", 0);
}
/*
* Define the syscons nexus device attachment
*/
static void
ofwfb_scidentify(driver_t *driver, device_t parent)
{
device_t child;
/*
* The Nintendo Wii doesn't have open firmware, so don't probe ofwfb
* because otherwise we will crash.
*/
if (strcmp(installed_platform(), "wii") == 0)
return;
/*
* Add with a priority guaranteed to make it last on
* the device list
*/
child = BUS_ADD_CHILD(parent, INT_MAX, SC_DRIVER_NAME, 0);
}
