i8042_pnp_init   1048 drivers/input/serio/i8042-x86ia64io.h static int __init i8042_pnp_init(void)
i8042_pnp_init   1158 drivers/input/serio/i8042-x86ia64io.h static inline int i8042_pnp_init(void) { return 0; }