Symbol: ps2_dev_handle_int
src/add-ons/kernel/bus_managers/ps2/ps2_common.cpp
389
return ps2_dev_handle_int(dev);
src/add-ons/kernel/bus_managers/ps2/ps2_dev.h
89
int32 ps2_dev_handle_int(ps2_dev *dev);