Lines Matching defs:flag
3921 uint32_t flag,
3930 //printf("io_catalog_send_data called. flag: %d\n", flag);
3935 if( (flag != kIOCatalogRemoveKernelLinker &&
3936 flag != kIOCatalogKextdActive &&
3937 flag != kIOCatalogKextdFinishedLaunching) &&
3964 switch ( flag ) {
3972 flag == kIOCatalogResetDrivers) ) {
3989 flag == kIOCatalogAddDrivers) ) {
4006 flag == kIOCatalogRemoveDrivers ) ) {
4079 uint32_t flag,
4092 switch ( flag ) {
4121 flag == kIOCatalogModuleUnload);
4136 uint32_t flag,
4146 //printf("io_catalog_get_data called. flag: %d\n", flag);
4154 kr = gIOCatalogue->serializeData(flag, s);
4217 uint32_t flag)
4222 switch ( flag ) {