3840 /* interrupt count of deactivated cpus */