SMBIOS_MAX_LENGTH
startaddr = paddr_guest2host(ctx, SMBIOS_BASE, SMBIOS_MAX_LENGTH);
assert(curaddr - startaddr < SMBIOS_MAX_LENGTH);