tree 6e11791fe7e4484b28db9a68320c13125cf7648d
parent 4b5d036586e5601a14df575d67dbdcfe4b1b1b80
author Andrew Scull <ascull@google.com> 1566294061 +0100
committer Andrew Scull <ascull@google.com> 1566316950 +0000

Lock vCPU when accessing enabled_and_pending_count.

Change-Id: Ic71d89c3b7a8acec71ac593228219e4044e58664