pl050.h 40 kernel/arch/arm32/src/mach/integratorcp/integratorcp.c #include <genarch/drivers/pl050/pl050.h> pl050.h 39 kernel/genarch/src/drivers/pl050/pl050.c #include <genarch/drivers/pl050/pl050.h>