${BINDGEN} wrapper_x86_64.h -o src/xen_bindings_x86_64.rs \
        --ignore-functions \
        --ignore-methods \
        --no-layout-tests \
        --blocklist-file "*unistd.*" \
        --blocklist-file "*stdio.*" \
        --use-core \
        --ctypes-prefix=xen_bindings_x86_64_types \
        -- \
        -D__XEN_TOOLS__ \
        -D__GLIBC_USE\(...\)=0 \
        -D__BEGIN_DECLS=" " \
        -D__END_DECLS=" " \
        -D__THROW=" " \
        -D__THROWNL=" " \
        -D__nonnull\(...\)=" " \
        -D__wur=" " \
        -D__gnuc_va_list="void *" \
        -I${XEN_DIR}/tools/include/ \
        -I${XEN_DIR}/xen/arch/x86/include/ \
        -I${XEN_DIR}/xen/include/ \
        -I${XEN_DIR}/xen/include/xen/ \
        -I${XEN_DIR}/xen/include/public/ \
        -I${XEN_DIR}/dist/install/usr/local/include/xen/sys/