On 4/10/23 01:05, Richard Henderson wrote:
On 10/3/23 06:00, Philippe Mathieu-Daudé wrote:
On 30/9/23 04:15, Richard Henderson wrote:
This tool will be used for post-processing the linked vdso image,
turning it into something that is easy to include into elfload.c.

Signed-off-by: Richard Henderson <richard.hender...@linaro.org>
---
  linux-user/gen-vdso.c          | 223 ++++++++++++++++++++++++
  linux-user/gen-vdso-elfn.c.inc | 307 +++++++++++++++++++++++++++++++++
  linux-user/meson.build         |   6 +-
  3 files changed, 535 insertions(+), 1 deletion(-)
  create mode 100644 linux-user/gen-vdso.c
  create mode 100644 linux-user/gen-vdso-elfn.c.inc


+static void output_reloc(FILE *outf, void *buf, void *loc)
+{
+    fprintf(outf, "    0x%08lx,\n", (unsigned long)(loc - buf));

uintptr_t? Otherwise nice!

uintptr_t would require more complex printf.

Actually, I should just use %tx for the ptrdiff_t one gets from pointer subtraction.

Right, this is the type I was thinking of.


Reply via email to