pl050_t 88 kernel/genarch/include/genarch/drivers/pl050/pl050.h } pl050_t; pl050_t 97 uspace/drv/char/pl050/pl050.c } pl050_t;