vcpu_sbi.c revision 3e1d8656
1