hexdump_set_addr
hexdump_set_addr(&h, BHYVE_ACPI_BASE + table->off);
hexdump_set_addr(&h, addr);
hexdump_set_addr(&hd, t->addr);
extern void hexdump_set_addr(hexdump_t *, uint64_t);