mirror of
https://github.com/hardkernel/linux.git
synced 2026-05-09 21:55:48 +09:00
There are no external callers of this function as there is no concept of resetting a vcpu from generic code. Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com> Signed-off-by: Marcelo Tosatti <mtosatti@redhat.com>