Searched refs:kernelName (Results 1 – 1 of 1) sorted by relevance
233 char *kernelName = new char[len]; in main() local234 strcpy(kernelName, name); in main()235 strcat(kernelName, " [kernel]"); in main()236 name = kernelName; in main()