vcpu_sbi_replace.c revision c39cea6f
1