Searched refs:bios32_SDCI (Results 1 – 1 of 1) sorted by relevance
67 static u_int bios32_SDCI; variable102 bios32_SDCI = BIOS_PADDRTOVADDR(sdh->entry); in bios32_init()106 sdh->entry, bios32_SDCI, sdh->revision, sdh->len); in bios32_init()172 if (bios32_SDCI == 0) in bios32_SDlookup()177 bios32(&args, bios32_SDCI, GSEL(GCODE_SEL, SEL_KPL)); in bios32_SDlookup()