Index: kernel/arch/ppc32/include/drivers/cuda.h
===================================================================
--- kernel/arch/ppc32/include/drivers/cuda.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ppc32/include/drivers/cuda.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __CUDA_H__
-#define __CUDA_H__
+#ifndef KERN_ppc32_CUDA_H_
+#define KERN_ppc32_CUDA_H_
 
 #include <arch/types.h>
Index: kernel/arch/ppc32/include/drivers/pic.h
===================================================================
--- kernel/arch/ppc32/include/drivers/pic.h	(revision 1167520724b9b526c27b67f2d4bc447ef626240c)
+++ kernel/arch/ppc32/include/drivers/pic.h	(revision f1d1f5d3d65116db3fe2744bb3cf38c85e99f14c)
@@ -33,6 +33,6 @@
  */
 
-#ifndef __PIC_H_
-#define __PIC_H_
+#ifndef KERN_ppc32_PIC_H_
+#define KERN_ppc32_PIC_H_
 
 #define PIC_PENDING_LOW    8