HelenOS sources

i8042.h   50 kernel/arch/amd64/src/amd64.c #include <genarch/drivers/i8042/i8042.h>
i8042.h   51 kernel/arch/ia32/src/ia32.c #include <genarch/drivers/i8042/i8042.h>
i8042.h   52 kernel/arch/ia64/src/ia64.c #include <genarch/drivers/i8042/i8042.h>
i8042.h   41 kernel/genarch/src/drivers/i8042/i8042.c #include <genarch/drivers/i8042/i8042.h>
i8042.h   50 uspace/drv/char/i8042/i8042.c #include "i8042.h"
i8042.h   45 uspace/drv/char/i8042/main.c #include "i8042.h"