Searched refs:smbdmap_start (Results 1 – 2 of 2) sorted by relevance
418 uint32_t smbdmap_start; /* starting address in kilobytes */ member
1286 if (m.smbdmap_start != 0xFFFFFFFF && m.smbdmap_end != 0xFFFFFFFF) { in smbios_info_memdevmap()1287 mdp->smbmdm_addr = (uint64_t)m.smbdmap_start * 1024; in smbios_info_memdevmap()1289 (m.smbdmap_end - m.smbdmap_start + 1) * 1024; in smbios_info_memdevmap()