if (longmode)
len += snprintf(buf + len, LEFT, "0x%08x%08x, from\n", (uint32_t)(bp >> 32), (uint32_t)bp);
else
len += snprintf(buf + len, LEFT, "0x%08x, from\n", (uint32_t)bp);
if (longmode)
len += snprintf(buf + len, LEFT, "0x%08x%08x, from\n", (uint32_t)(bp >> 32), (uint32_t)bp);
else
len += snprintf(buf + len, LEFT, "0x%08x, from\n", (uint32_t)bp);