[2/3] spapr: add uuid/host details to device tree

diff --git a/hw/ppc/spapr.c b/hw/ppc/spapr.c
index a8ba916..33f77d2 100644
--- a/hw/ppc/spapr.c
+++ b/hw/ppc/spapr.c
@@ -319,6 +319,7 @@  static void *spapr_create_fdt_skel(hwaddr initrd_base,
     QemuOpts *opts = qemu_opts_find(qemu_find_opts("smp-opts"), NULL);
     unsigned sockets = opts ? qemu_opt_get_number(opts, "sockets", 0) : 0;
     uint32_t cpus_per_socket = sockets ? (smp_cpus / sockets) : 1;
+    char char_buf[512];
 
     add_str(hypertas, "hcall-pft");
     add_str(hypertas, "hcall-term");
@@ -348,6 +349,24 @@  static void *spapr_create_fdt_skel(hwaddr initrd_base,
     _FDT((fdt_property_string(fdt, "model", "IBM pSeries (emulated by qemu)")));
     _FDT((fdt_property_string(fdt, "compatible", "qemu,pseries")));
 
+    if (kvm_enabled()) {
+        _FDT((fdt_property_string(fdt, "hypervisor", "kvm")));
+    }
+
+    /*
+     * Add info to guest to indentify which host is it being run on
+     * and what is the uuid of the guest
+     */
+    memset(char_buf, 0, sizeof(char_buf));
+    if (!kvmppc_get_host_model(char_buf, sizeof(char_buf))) {
+        _FDT((fdt_property_string(fdt, "host-model", char_buf)));
+        memset(char_buf, 0, sizeof(char_buf));
+    }
+    if (!kvmppc_get_host_serial(char_buf, sizeof(char_buf))) {
+        _FDT((fdt_property_string(fdt, "host-serial", char_buf)));
+    }
+    _FDT((fdt_property(fdt, "vm,uuid", qemu_uuid, 16)));
+
     _FDT((fdt_property_cell(fdt, "#address-cells", 0x2)));
     _FDT((fdt_property_cell(fdt, "#size-cells", 0x2)));
 
diff --git a/target-ppc/kvm.c b/target-ppc/kvm.c
index 2d87108..25091f8 100644
--- a/target-ppc/kvm.c
+++ b/target-ppc/kvm.c
@@ -1369,7 +1369,7 @@  static int read_cpuinfo(const char *field, char *value, int len)
     }
 
     do {
-        if(!fgets(line, sizeof(line), f)) {
+        if (!fgets(line, sizeof(line), f)) {
             break;
         }
         if (!strncmp(line, field, field_len)) {
@@ -1404,6 +1404,48 @@  uint32_t kvmppc_get_tbfreq(void)
     return retval;
 }
 
+int32_t kvmppc_get_host_serial(char *value, int len)
+{
+    FILE *f;
+    int ret = -1;
+    char line[512];
+
+    memset(line, 0, sizeof(line));
+    f = fopen("/proc/device-tree/system-id", "r");
+    if (!f) {
+        return ret;
+    }
+
+    if (fgets(line, sizeof(line), f)) {
+        snprintf(value, len, "IBM,%s", line);
+        ret = 0;
+    }
+    fclose(f);
+
+    return ret;
+}
+
+int32_t kvmppc_get_host_model(char *value, int len)
+{
+    FILE *f;
+    int ret = -1;
+    char line[512];
+
+    memset(line, 0, sizeof(line));
+    f = fopen("/proc/device-tree/model", "r");
+    if (!f) {
+        return ret;
+    }
+
+    if (fgets(line, sizeof(line), f)) {
+        snprintf(value, len, "IBM,%s", line);
+        ret = 0;
+    }
+    fclose(f);
+
+    return ret;
+}
+
 /* Try to find a device tree node for a CPU with clock-frequency property */
 static int kvmppc_find_cpu_dt(char *buf, int buf_len)
 {
diff --git a/target-ppc/kvm_ppc.h b/target-ppc/kvm_ppc.h
index 1118122..6fa3314 100644
--- a/target-ppc/kvm_ppc.h
+++ b/target-ppc/kvm_ppc.h
@@ -19,6 +19,8 @@  uint32_t kvmppc_get_tbfreq(void);
 uint64_t kvmppc_get_clockfreq(void);
 uint32_t kvmppc_get_vmx(void);
 uint32_t kvmppc_get_dfp(void);
+int32_t kvmppc_get_host_model(char *buf, int buf_len);
+int32_t kvmppc_get_host_serial(char *buf, int buf_len);
 int kvmppc_get_hasidle(CPUPPCState *env);
 int kvmppc_get_hypercall(CPUPPCState *env, uint8_t *buf, int buf_len);
 int kvmppc_set_interrupt(PowerPCCPU *cpu, int irq, int level);
@@ -60,6 +62,16 @@  static inline uint32_t kvmppc_get_tbfreq(void)
     return 0;
 }
 
+static inline int32_t kvmppc_get_host_model(char *buf, int buf_len)
+{
+    return 0;
+}
+
+static inline int32_t kvmppc_get_host_serial(char *buf, int buf_len)
+{
+    return 0;
+}
+
 static inline uint64_t kvmppc_get_clockfreq(void)
 {
     return 0;