Searched refs:sdh (Results 1 – 1 of 1) sorted by relevance
80 struct bios32_SDheader *sdh; in bios32_init() local93 sdh = (struct bios32_SDheader *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr); in bios32_init()94 for (cv = (u_int8_t *)sdh, ck = 0, i = 0; i < (sdh->len * 16); i++) { in bios32_init()98 if ((ck == 0) && (BIOS_START <= sdh->entry ) && in bios32_init()99 (sdh->entry < (BIOS_START + BIOS_SIZE))) { in bios32_init()100 bios32_SDCI = BIOS_PADDRTOVADDR(sdh->entry); in bios32_init()102 printf("bios32: Found BIOS32 Service Directory header at %p\n", sdh); in bios32_init()104 sdh->entry, bios32_SDCI, sdh->revision, sdh->len); in bios32_init()