x38_registered    147 drivers/edac/x38_edac.c static int x38_registered = 1;
x38_registered    477 drivers/edac/x38_edac.c 		x38_registered = 0;
x38_registered    510 drivers/edac/x38_edac.c 	if (!x38_registered) {