Searched refs:global_kernel_registry (Results 1 – 1 of 1) sorted by relevance
1049 static KernelRegistry* global_kernel_registry = new KernelRegistry; in GlobalKernelRegistry() local1050 return global_kernel_registry; in GlobalKernelRegistry()