Lines Matching refs:sdh
80 struct bios32_SDheader *sdh;
94 sdh = (struct bios32_SDheader *)(uintptr_t)BIOS_PADDRTOVADDR(sigaddr);
95 for (cv = (u_int8_t *)sdh, ck = 0, i = 0; i < (sdh->len * 16); i++) {
99 if ((ck == 0) && (BIOS_START <= sdh->entry ) &&
100 (sdh->entry < (BIOS_START + BIOS_SIZE))) {
101 bios32_SDCI = BIOS_PADDRTOVADDR(sdh->entry);
103 printf("bios32: Found BIOS32 Service Directory header at %p\n", sdh);
105 sdh->entry, bios32_SDCI, sdh->revision, sdh->len);