[GSoC PATCH 5/9] Jailhouse driver: Implementation of DomainInfo/State/List