kernel_type_registry.cc