[GSoC PATCH 4/9] Jailhouse driver: Implementation of DomainCreate* callbacks