SMBIOS_GET64
end_addr = SMBIOS_GET64(cp, 0x10) + /* Start address. */
paddr = SMBIOS_GET64(saddr, 0x10);