KERN_ppc32_MSR_H_ 35 kernel/arch/ppc32/include/arch/msr.h #ifndef KERN_ppc32_MSR_H_ KERN_ppc32_MSR_H_ 35 uspace/lib/c/arch/ppc32/include/libarch/msr.h #ifndef KERN_ppc32_MSR_H_