HelenOS sources

kernel/genarch/include/genarch/drivers/pl011/pl011.h
uspace/drv/char/pl011/pl011.h