Searched refs:impl_id (Results 1 – 1 of 1) sorted by relevance
67 int i, impl_id; in do_sbi() local77 impl_id = sbi_get_impl_id(); in do_sbi()78 if (impl_id >= 0) { in do_sbi()80 if (impl_id == implementations[i].id) { in do_sbi()87 switch (impl_id) { in do_sbi()108 printf("\nUnknown implementation ID 0x%x", impl_id); in do_sbi()
Completed in 9 milliseconds