Symbol: bios_ident
sys/arch/arc/arc/arcbios.h
366
int bios_ident(void);
sys/arch/arc/arc/machdep.c
226
if (bios_ident()) { /* ARC BIOS present */