tree ee8d065a0622a05ab6d2068fdbe13e01e05278b5
parent 135dff3c538ddd6b2f7cb3af20a220172e7abaac
author Andrew Walbran <qwandor@google.com> 1555435708 +0100
committer Andrew Walbran <qwandor@google.com> 1556299716 +0100

Remove unused vcpu_off function.

Change-Id: I64546b88ecc3e65071aa644751c49354b75ebd66