SBI_BASE_GET_IMPL_ID
return (SBI_CALL0(SBI_EXT_ID_BASE, SBI_BASE_GET_IMPL_ID));
case SBI_BASE_GET_IMPL_ID: