One interesting observation is that if I revert 2de2b10b225 which turns the type of offset from uint32_t back to uint64_t, kdd.c will build with 32 bit, but then of course 64 bit build is broken. :-/
Wei. _______________________________________________ Xen-devel mailing list [email protected] https://lists.xenproject.org/mailman/listinfo/xen-devel
