KERN_arm32_REGUTILS_H_ 37 kernel/arch/arm32/include/arch/regutils.h #ifndef KERN_arm32_REGUTILS_H_ KERN_arm32_REGUTILS_H_ 37 uspace/lib/c/arch/arm32/include/libarch/regutils.h #ifndef KERN_arm32_REGUTILS_H_