Symbol: bios_sigsearch
sys/dev/misc/ipmi/ipmi_smbios.c
186
addr = bios_sigsearch(SMBIOS_START, SMBIOS_SIG, SMBIOS_LEN,
sys/platform/pc64/include/pc/bios.h
34
uint32_t bios_sigsearch(uint32_t, unsigned char *, int, int, int);