ps3_sys_manager_handle_msg 585 drivers/ps3/ps3-sys-manager.c while (ps3_sys_manager_handle_msg(dev)) { ps3_sys_manager_handle_msg 694 drivers/ps3/ps3-sys-manager.c ps3_sys_manager_handle_msg(dev);