SBI_SUCCESS
case SBI_SUCCESS:
case SBI_SUCCESS:
KASSERT(sbiret.error == SBI_SUCCESS);
KASSERT(sbiret.error == SBI_SUCCESS);
KASSERTMSG(sbiret.error == SBI_SUCCESS, "error %ld",
KASSERTMSG(sbiret.error == SBI_SUCCESS, "error %ld",