SMBIOS_BASE
startaddr = paddr_guest2host(ctx, SMBIOS_BASE, SMBIOS_MAX_LENGTH);
smbios_ep_initializer(smbios_ep, SMBIOS_BASE +