]> xenbits.xensource.com Git - people/sstabellini/mojo.git/.git/commitdiff
Rename dockerfiles to dom0
authorStefano Stabellini <sstabellini@kernel.org>
Thu, 9 Nov 2017 19:38:29 +0000 (11:38 -0800)
committerStefano Stabellini <sstabellini@kernel.org>
Thu, 9 Nov 2017 19:42:55 +0000 (11:42 -0800)
Signed-off-by: Stefano Stabellini <sstabellini@kernel.org>
15 files changed:
build.sh
dockerfiles/alpine-assemble [deleted file]
dockerfiles/alpine-build [deleted file]
dockerfiles/alpine-build-script [deleted file]
dockerfiles/qemu-patch [deleted file]
dockerfiles/sleep [deleted file]
dockerfiles/udhcpc.script [deleted file]
dockerfiles/xen-patch [deleted file]
dom0/alpine-assemble [new file with mode: 0644]
dom0/alpine-build [new file with mode: 0644]
dom0/alpine-build-script [new file with mode: 0644]
dom0/qemu-patch [new file with mode: 0644]
dom0/sleep [new file with mode: 0644]
dom0/udhcpc.script [new file with mode: 0755]
dom0/xen-patch [new file with mode: 0644]

index 07e9756a34b96f34fc4db9e2953565935925a22d..45abf035a2dafa3f572af47ab856cd2bd4f12f6f 100644 (file)
--- a/build.sh
+++ b/build.sh
@@ -12,7 +12,7 @@ source lib.sh
 exists=`docker images $BUILDER_LABEL | grep $BUILDER_LABEL`
 if test -z "$exists"
 then
-    docker build -f dockerfiles/alpine-build -t $BUILDER_LABEL .
+    docker build -f dom0/alpine-build -t $BUILDER_LABEL .
 fi
 
 
@@ -28,7 +28,7 @@ fi
 exists=`docker images $DOM0_LABEL | grep $DOM0_LABEL`
 if test -z "$exists"
 then
-    docker build -f dockerfiles/alpine-assemble -t $DOM0_LABEL .
+    docker build -f dom0/alpine-assemble -t $DOM0_LABEL .
 fi
 if ! test -f "$DOM0_LABEL".tar
 then
diff --git a/dockerfiles/alpine-assemble b/dockerfiles/alpine-assemble
deleted file mode 100644 (file)
index f364f1e..0000000
+++ /dev/null
@@ -1,30 +0,0 @@
-FROM alpine
-
-ADD out/xen /root/
-ADD out/qemu /root/
-ADD dockerfiles/udhcpc.script /usr/share/udhcpc/default.script
-
-RUN \
-    apk update && \
-# System
-       apk add openrc && \
-       rc-update add networking sysinit && \
-       rc-update add loopback sysinit && \
-       for i in /etc/init.d/*; do rc-update add $i default; done && \
-       echo "nameserver 8.8.8.8" > /etc/resolv.conf && \
-       echo "auto lo" > /etc/network/interfaces && \
-       echo "auto eth0" >> /etc/network/interfaces && \
-       echo "iface eth0 inet dhcp" >> /etc/network/interfaces && \
-# Install
-       cd /root && cp -ar * / && rm -rf * && \
-       echo "ttyS0" >> /etc/securetty && \
-       echo "ttyS0::respawn:/sbin/getty -L ttyS0 115200 vt100" >> /etc/inittab && \
-# Xen run deps
-    apk add python2 gettext zlib ncurses dev86 texinfo yajl curl libaio autoconf automake iasl make xz-dev bash util-linux argp-standalone && \
-       rc-update add xencommons && \
-# QEMU run deps
-    apk add glib pixman libcap libattr
-
-ADD dockerfiles/sleep /root
-
-ENTRYPOINT ["/bin/sh"]
diff --git a/dockerfiles/alpine-build b/dockerfiles/alpine-build
deleted file mode 100644 (file)
index 1ed7181..0000000
+++ /dev/null
@@ -1,17 +0,0 @@
-FROM alpine
-
-COPY dockerfiles/xen-patch /root/
-COPY dockerfiles/qemu-patch /root/
-COPY dockerfiles/alpine-build-script /root/
-
-RUN \
-    apk update && \
-# Xen build deps
-    apk add gcc patch musl-dev git python2-dev gettext zlib-dev \
-       ncurses-dev dev86 texinfo yajl-dev curl-dev libaio-dev autoconf \
-       automake iasl make xz-dev bash util-linux-dev argp-standalone \
-       linux-headers curl && \
-# QEMU build deps
-    apk add glib-dev pixman-dev libcap-dev libattr && \
-    chmod +x /root/alpine-build-script
-ENTRYPOINT ["/bin/sh"]
diff --git a/dockerfiles/alpine-build-script b/dockerfiles/alpine-build-script
deleted file mode 100644 (file)
index cf21de0..0000000
+++ /dev/null
@@ -1,34 +0,0 @@
-#!/bin/bash
-
-SOURCE_DIR=/root
-OUT_DIR=/root/out
-XEN_VERSION=4.10.0-rc3
-QEMU_VERSION=2.10.1
-
-cd $SOURCE_DIR
-curl -fsSLO https://downloads.xenproject.org/release/xen/$XEN_VERSION/xen-$XEN_VERSION.tar.gz
-tar xvzf xen-$XEN_VERSION.tar.gz
-cd xen-$XEN_VERSION
-patch -p1 < $SOURCE_DIR/xen-patch
-./configure --prefix=/usr --with-system-qemu=/usr/lib/xen/bin/qemu-system-i386 --disable-stubdom --disable-qemu-traditional --disable-rombios
-make -j4
-mkdir -p DESTDIR=$OUT_DIR/xen
-make DESTDIR=$OUT_DIR/xen install
-
-cd $SOURCE_DIR
-curl -fsSLO https://download.qemu.org/qemu-$QEMU_VERSION.tar.xz
-tar xvJf qemu-$QEMU_VERSION.tar.xz
-cd qemu-$QEMU_VERSION
-patch -p1 < $SOURCE_DIR/qemu-patch
-export PKG_CONFIG_PATH=$SOURCE_DIR/xen/tools/pkg-config
-export INST_DIR=$OUT_DIR/xen
-./configure --prefix=/usr --enable-xen --target-list=i386-softmmu \
-               --extra-cflags="-I$INST_DIR/usr/include" \
-        --extra-ldflags="-L$INST_DIR/usr/lib -Wl,-rpath-link=$INST_DIR/usr/lib \
-                         -L$INST_DIR/usr/lib64 -Wl,-rpath-link=$INST_DIR/usr/lib64" \
-        --disable-kvm --enable-virtfs --disable-werror
-make -j 4
-mkdir -p DESTDIR=$OUT_DIR/qemu
-make DESTDIR=$OUT_DIR/qemu install
-mkdir -p DESTDIR=$OUT_DIR/xen/usr/lib/xen/bin
-cp i386-softmmu/qemu-system-i386 $OUT_DIR/xen/usr/lib/xen/bin
diff --git a/dockerfiles/qemu-patch b/dockerfiles/qemu-patch
deleted file mode 100644 (file)
index a1bb205..0000000
+++ /dev/null
@@ -1,12 +0,0 @@
-diff --git a/hw/9pfs/9p.c b/hw/9pfs/9p.c
-index f8bbac251d..b417dfe58f 100644
---- a/hw/9pfs/9p.c
-+++ b/hw/9pfs/9p.c
-@@ -3312,6 +3312,7 @@ static void coroutine_fn v9fs_xattrcreate(void *opaque)
-     }
-     trace_v9fs_xattrcreate(pdu->tag, pdu->id, fid, name.data, size, flags);
-+#define XATTR_SIZE_MAX 65536
-     if (size > XATTR_SIZE_MAX) {
-         err = -E2BIG;
-         goto out_nofid;
diff --git a/dockerfiles/sleep b/dockerfiles/sleep
deleted file mode 100644 (file)
index 03f26ac..0000000
+++ /dev/null
@@ -1,4 +0,0 @@
-#!/bin/bash
-
-/bin/sleep 60
-
diff --git a/dockerfiles/udhcpc.script b/dockerfiles/udhcpc.script
deleted file mode 100755 (executable)
index 6a78bba..0000000
+++ /dev/null
@@ -1,101 +0,0 @@
-#!/bin/busybox sh
-
-# udhcp sample script by Gabriel Somlo (somlo at cmu edu)
-#      - uses 'ip' instead of 'ifconfig' and 'route'
-#      - make minimal changes, and only if required by changing dhcp options
-
-[ -z "$1" ] && echo 'Error: should be called from udhcpc' && exit 1
-
-# where to save config information for $interface:
-CFG="/var/run/udhcpc.${interface}.cfg"
-
-# names of files we might need to touch:
-RESOLV_CONF='/etc/resolv.conf'
-NTP_CONF='/etc/ntp.conf'
-
-# which interface configures DNS and NTP ? Comment out if none:
-#PEERDNS_IF=eth0
-#PEERNTP_IF=eth0
-
-case "$1" in
-  deconfig)
-    # bring interface up, but with no IP configured:
-    ip addr flush dev $interface
-    ip link set $interface up
-    # remove any stored config info for this $interface:
-    rm -f $CFG
-    # restore any pre-dhcp config files:
-    if [ "$interface" == "$PEERDNS_IF" ] ; then
-      [ -f ${RESOLV_CONF}.dhcsave ] && mv -f ${RESOLV_CONF}.dhcsave $RESOLV_CONF
-    fi
-    if [ "$interface" == "$PEERNTP_IF" ] ; then
-      [ -f ${NTP_CONF}.dhcsave ] && mv -f ${NTP_CONF}.dhcsave $NTP_CONF
-    fi
-    ;;
-  bound)
-    # save config info for $interface:
-    set > $CFG
-    # configure interface and routes:
-    ip addr flush dev $interface
-    ip addr add ${ip}/${mask} dev $interface
-    [ -n "$router" ] && ip route add default via ${router%% *} dev $interface
-    # save pre-dhcp config files and generate new ones:
-    if [ "$interface" == "$PEERDNS_IF" ] ; then
-      [ -f $RESOLV_CONF ] && mv -f $RESOLV_CONF ${RESOLV_CONF}.dhcsave
-      [ -n "$domain" ] && echo search $domain > $RESOLV_CONF
-      for i in $dns ; do
-        echo nameserver $i >> $RESOLV_CONF
-      done
-    fi
-    if [ "$interface" == "$PEERNTP_IF" ] ; then
-      [ -f $NTP_CONF ] && mv -f $NTP_CONF ${NTP_CONF}.dhcsave
-      > $NTP_CONF
-      for i in $ntpsrv ; do
-        echo server $i >> $NTP_CONF
-      done
-    fi
-    ;;
-  renew)
-    # compare new vs. previous config info:
-    set > ${CFG}.new
-    for i in $(diff -U1 $CFG ${CFG}.new | grep -E ^[+-] \
-                                        | tail +3 \
-                                        | awk -F[+-=] '{print $2}') ; do
-      case "$i" in
-        ip|mask|router)
-          REDO_NET='yes'
-          ;;
-        domain|dns)
-          REDO_DNS='yes'
-          ;;
-        ntpsrv)
-          REDO_NTP='yes'
-          ;;
-      esac
-    done
-    # save new config info:
-    mv -f ${CFG}.new $CFG
-    # make only necessary changes, as per config comparison:
-    if [ -n "$REDO_NET" ] ; then
-      ip addr flush dev $interface
-      ip addr add ${ip}/${mask} dev $interface
-      [ -n "$router" ] && ip route add default via ${router%% *} dev $interface
-    fi
-    if [ -n "$REDO_DNS" -a "$interface" == "$PEERDNS_IF" ] ; then
-      [ -n "$domain" ] && echo search $domain > $RESOLV_CONF
-      for i in $dns ; do
-        echo nameserver $i >> $RESOLV_CONF
-      done
-    fi
-    if [ -n "$REDO_NTP" -a "$interface" == "$PEERNTP_IF" ] ; then
-      > $NTP_CONF
-      for i in $ntpsrv ; do
-        echo server $i >> $NTP_CONF
-      done
-      # FIXME: RELOAD NTP DAEMON HERE
-    fi
-    ;;
-esac
-
-exit 0
-
diff --git a/dockerfiles/xen-patch b/dockerfiles/xen-patch
deleted file mode 100644 (file)
index ee0cff4..0000000
+++ /dev/null
@@ -1,26 +0,0 @@
-diff --git a/tools/Makefile b/tools/Makefile
-index ab7a01e..b2e3d60 100644
---- a/tools/Makefile
-+++ b/tools/Makefile
-@@ -15,7 +15,7 @@ SUBDIRS-y += examples
- SUBDIRS-y += hotplug
- SUBDIRS-y += xentrace
- SUBDIRS-$(CONFIG_XCUTILS) += xcutils
--SUBDIRS-$(CONFIG_X86) += firmware
-+#SUBDIRS-$(CONFIG_X86) += firmware
- SUBDIRS-y += console
- SUBDIRS-y += xenmon
- SUBDIRS-y += xenstat
-diff --git a/tools/libxc/xc_sr_restore.c b/tools/libxc/xc_sr_restore.c
-index ea7b033..3eae908 100644
---- a/tools/libxc/xc_sr_restore.c
-+++ b/tools/libxc/xc_sr_restore.c
-@@ -397,7 +397,7 @@ static int handle_page_data(struct xc_sr_context *ctx, struct xc_sr_record *rec)
-                          (PAGE_SIZE * pages_of_data)) )
-     {
-         ERROR("PAGE_DATA record wrong size: length %u, expected "
--              "%zu + %zu + %lu", rec->length, sizeof(*pages),
-+              "%zu + %zu + %u", rec->length, sizeof(*pages),
-               (sizeof(uint64_t) * pages->count), (PAGE_SIZE * pages_of_data));
-         goto err;
-     }
diff --git a/dom0/alpine-assemble b/dom0/alpine-assemble
new file mode 100644 (file)
index 0000000..6959ada
--- /dev/null
@@ -0,0 +1,30 @@
+FROM alpine
+
+ADD out/xen /root/
+ADD out/qemu /root/
+ADD dom0/udhcpc.script /usr/share/udhcpc/default.script
+
+RUN \
+    apk update && \
+# System
+       apk add openrc && \
+       rc-update add networking sysinit && \
+       rc-update add loopback sysinit && \
+       for i in /etc/init.d/*; do rc-update add $i default; done && \
+       echo "nameserver 8.8.8.8" > /etc/resolv.conf && \
+       echo "auto lo" > /etc/network/interfaces && \
+       echo "auto eth0" >> /etc/network/interfaces && \
+       echo "iface eth0 inet dhcp" >> /etc/network/interfaces && \
+# Install
+       cd /root && cp -ar * / && rm -rf * && \
+       echo "ttyS0" >> /etc/securetty && \
+       echo "ttyS0::respawn:/sbin/getty -L ttyS0 115200 vt100" >> /etc/inittab && \
+# Xen run deps
+    apk add python2 gettext zlib ncurses dev86 texinfo yajl curl libaio autoconf automake iasl make xz-dev bash util-linux argp-standalone && \
+       rc-update add xencommons && \
+# QEMU run deps
+    apk add glib pixman libcap libattr
+
+ADD dom0/sleep /root
+
+ENTRYPOINT ["/bin/sh"]
diff --git a/dom0/alpine-build b/dom0/alpine-build
new file mode 100644 (file)
index 0000000..2f1fbfa
--- /dev/null
@@ -0,0 +1,17 @@
+FROM alpine
+
+COPY dom0/xen-patch /root/
+COPY dom0/qemu-patch /root/
+COPY dom0/alpine-build-script /root/
+
+RUN \
+    apk update && \
+# Xen build deps
+    apk add gcc patch musl-dev git python2-dev gettext zlib-dev \
+       ncurses-dev dev86 texinfo yajl-dev curl-dev libaio-dev autoconf \
+       automake iasl make xz-dev bash util-linux-dev argp-standalone \
+       linux-headers curl && \
+# QEMU build deps
+    apk add glib-dev pixman-dev libcap-dev libattr && \
+    chmod +x /root/alpine-build-script
+ENTRYPOINT ["/bin/sh"]
diff --git a/dom0/alpine-build-script b/dom0/alpine-build-script
new file mode 100644 (file)
index 0000000..cf21de0
--- /dev/null
@@ -0,0 +1,34 @@
+#!/bin/bash
+
+SOURCE_DIR=/root
+OUT_DIR=/root/out
+XEN_VERSION=4.10.0-rc3
+QEMU_VERSION=2.10.1
+
+cd $SOURCE_DIR
+curl -fsSLO https://downloads.xenproject.org/release/xen/$XEN_VERSION/xen-$XEN_VERSION.tar.gz
+tar xvzf xen-$XEN_VERSION.tar.gz
+cd xen-$XEN_VERSION
+patch -p1 < $SOURCE_DIR/xen-patch
+./configure --prefix=/usr --with-system-qemu=/usr/lib/xen/bin/qemu-system-i386 --disable-stubdom --disable-qemu-traditional --disable-rombios
+make -j4
+mkdir -p DESTDIR=$OUT_DIR/xen
+make DESTDIR=$OUT_DIR/xen install
+
+cd $SOURCE_DIR
+curl -fsSLO https://download.qemu.org/qemu-$QEMU_VERSION.tar.xz
+tar xvJf qemu-$QEMU_VERSION.tar.xz
+cd qemu-$QEMU_VERSION
+patch -p1 < $SOURCE_DIR/qemu-patch
+export PKG_CONFIG_PATH=$SOURCE_DIR/xen/tools/pkg-config
+export INST_DIR=$OUT_DIR/xen
+./configure --prefix=/usr --enable-xen --target-list=i386-softmmu \
+               --extra-cflags="-I$INST_DIR/usr/include" \
+        --extra-ldflags="-L$INST_DIR/usr/lib -Wl,-rpath-link=$INST_DIR/usr/lib \
+                         -L$INST_DIR/usr/lib64 -Wl,-rpath-link=$INST_DIR/usr/lib64" \
+        --disable-kvm --enable-virtfs --disable-werror
+make -j 4
+mkdir -p DESTDIR=$OUT_DIR/qemu
+make DESTDIR=$OUT_DIR/qemu install
+mkdir -p DESTDIR=$OUT_DIR/xen/usr/lib/xen/bin
+cp i386-softmmu/qemu-system-i386 $OUT_DIR/xen/usr/lib/xen/bin
diff --git a/dom0/qemu-patch b/dom0/qemu-patch
new file mode 100644 (file)
index 0000000..a1bb205
--- /dev/null
@@ -0,0 +1,12 @@
+diff --git a/hw/9pfs/9p.c b/hw/9pfs/9p.c
+index f8bbac251d..b417dfe58f 100644
+--- a/hw/9pfs/9p.c
++++ b/hw/9pfs/9p.c
+@@ -3312,6 +3312,7 @@ static void coroutine_fn v9fs_xattrcreate(void *opaque)
+     }
+     trace_v9fs_xattrcreate(pdu->tag, pdu->id, fid, name.data, size, flags);
++#define XATTR_SIZE_MAX 65536
+     if (size > XATTR_SIZE_MAX) {
+         err = -E2BIG;
+         goto out_nofid;
diff --git a/dom0/sleep b/dom0/sleep
new file mode 100644 (file)
index 0000000..03f26ac
--- /dev/null
@@ -0,0 +1,4 @@
+#!/bin/bash
+
+/bin/sleep 60
+
diff --git a/dom0/udhcpc.script b/dom0/udhcpc.script
new file mode 100755 (executable)
index 0000000..6a78bba
--- /dev/null
@@ -0,0 +1,101 @@
+#!/bin/busybox sh
+
+# udhcp sample script by Gabriel Somlo (somlo at cmu edu)
+#      - uses 'ip' instead of 'ifconfig' and 'route'
+#      - make minimal changes, and only if required by changing dhcp options
+
+[ -z "$1" ] && echo 'Error: should be called from udhcpc' && exit 1
+
+# where to save config information for $interface:
+CFG="/var/run/udhcpc.${interface}.cfg"
+
+# names of files we might need to touch:
+RESOLV_CONF='/etc/resolv.conf'
+NTP_CONF='/etc/ntp.conf'
+
+# which interface configures DNS and NTP ? Comment out if none:
+#PEERDNS_IF=eth0
+#PEERNTP_IF=eth0
+
+case "$1" in
+  deconfig)
+    # bring interface up, but with no IP configured:
+    ip addr flush dev $interface
+    ip link set $interface up
+    # remove any stored config info for this $interface:
+    rm -f $CFG
+    # restore any pre-dhcp config files:
+    if [ "$interface" == "$PEERDNS_IF" ] ; then
+      [ -f ${RESOLV_CONF}.dhcsave ] && mv -f ${RESOLV_CONF}.dhcsave $RESOLV_CONF
+    fi
+    if [ "$interface" == "$PEERNTP_IF" ] ; then
+      [ -f ${NTP_CONF}.dhcsave ] && mv -f ${NTP_CONF}.dhcsave $NTP_CONF
+    fi
+    ;;
+  bound)
+    # save config info for $interface:
+    set > $CFG
+    # configure interface and routes:
+    ip addr flush dev $interface
+    ip addr add ${ip}/${mask} dev $interface
+    [ -n "$router" ] && ip route add default via ${router%% *} dev $interface
+    # save pre-dhcp config files and generate new ones:
+    if [ "$interface" == "$PEERDNS_IF" ] ; then
+      [ -f $RESOLV_CONF ] && mv -f $RESOLV_CONF ${RESOLV_CONF}.dhcsave
+      [ -n "$domain" ] && echo search $domain > $RESOLV_CONF
+      for i in $dns ; do
+        echo nameserver $i >> $RESOLV_CONF
+      done
+    fi
+    if [ "$interface" == "$PEERNTP_IF" ] ; then
+      [ -f $NTP_CONF ] && mv -f $NTP_CONF ${NTP_CONF}.dhcsave
+      > $NTP_CONF
+      for i in $ntpsrv ; do
+        echo server $i >> $NTP_CONF
+      done
+    fi
+    ;;
+  renew)
+    # compare new vs. previous config info:
+    set > ${CFG}.new
+    for i in $(diff -U1 $CFG ${CFG}.new | grep -E ^[+-] \
+                                        | tail +3 \
+                                        | awk -F[+-=] '{print $2}') ; do
+      case "$i" in
+        ip|mask|router)
+          REDO_NET='yes'
+          ;;
+        domain|dns)
+          REDO_DNS='yes'
+          ;;
+        ntpsrv)
+          REDO_NTP='yes'
+          ;;
+      esac
+    done
+    # save new config info:
+    mv -f ${CFG}.new $CFG
+    # make only necessary changes, as per config comparison:
+    if [ -n "$REDO_NET" ] ; then
+      ip addr flush dev $interface
+      ip addr add ${ip}/${mask} dev $interface
+      [ -n "$router" ] && ip route add default via ${router%% *} dev $interface
+    fi
+    if [ -n "$REDO_DNS" -a "$interface" == "$PEERDNS_IF" ] ; then
+      [ -n "$domain" ] && echo search $domain > $RESOLV_CONF
+      for i in $dns ; do
+        echo nameserver $i >> $RESOLV_CONF
+      done
+    fi
+    if [ -n "$REDO_NTP" -a "$interface" == "$PEERNTP_IF" ] ; then
+      > $NTP_CONF
+      for i in $ntpsrv ; do
+        echo server $i >> $NTP_CONF
+      done
+      # FIXME: RELOAD NTP DAEMON HERE
+    fi
+    ;;
+esac
+
+exit 0
+
diff --git a/dom0/xen-patch b/dom0/xen-patch
new file mode 100644 (file)
index 0000000..ee0cff4
--- /dev/null
@@ -0,0 +1,26 @@
+diff --git a/tools/Makefile b/tools/Makefile
+index ab7a01e..b2e3d60 100644
+--- a/tools/Makefile
++++ b/tools/Makefile
+@@ -15,7 +15,7 @@ SUBDIRS-y += examples
+ SUBDIRS-y += hotplug
+ SUBDIRS-y += xentrace
+ SUBDIRS-$(CONFIG_XCUTILS) += xcutils
+-SUBDIRS-$(CONFIG_X86) += firmware
++#SUBDIRS-$(CONFIG_X86) += firmware
+ SUBDIRS-y += console
+ SUBDIRS-y += xenmon
+ SUBDIRS-y += xenstat
+diff --git a/tools/libxc/xc_sr_restore.c b/tools/libxc/xc_sr_restore.c
+index ea7b033..3eae908 100644
+--- a/tools/libxc/xc_sr_restore.c
++++ b/tools/libxc/xc_sr_restore.c
+@@ -397,7 +397,7 @@ static int handle_page_data(struct xc_sr_context *ctx, struct xc_sr_record *rec)
+                          (PAGE_SIZE * pages_of_data)) )
+     {
+         ERROR("PAGE_DATA record wrong size: length %u, expected "
+-              "%zu + %zu + %lu", rec->length, sizeof(*pages),
++              "%zu + %zu + %u", rec->length, sizeof(*pages),
+               (sizeof(uint64_t) * pages->count), (PAGE_SIZE * pages_of_data));
+         goto err;
+     }