vcpu_sbi_replace.c revision c667ad22
1