*/
 int vas_paste_crb(struct vas_window *win, int offset, bool re);
 
+/*
+ * Return a system-wide unique id for the VAS window @win.
+ */
+extern u32 vas_win_id(struct vas_window *win);
+
 /*
  * Return the power bus paste address associated with @win so the caller
  * can map that address into their address space.
 
        return 0;
 }
 EXPORT_SYMBOL_GPL(vas_win_close);
+
+/*
+ * Return a system-wide unique window id for the window @win.
+ */
+u32 vas_win_id(struct vas_window *win)
+{
+       return encode_pswid(win->vinst->vas_id, win->winid);
+}
+EXPORT_SYMBOL_GPL(vas_win_id);
 
        return in_be64(win->hvwc_map+reg);
 }
 
+/*
+ * Encode/decode the Partition Send Window ID (PSWID) for a window in
+ * a way that we can uniquely identify any window in the system. i.e.
+ * we should be able to locate the 'struct vas_window' given the PSWID.
+ *
+ *     Bits    Usage
+ *     0:7     VAS id (8 bits)
+ *     8:15    Unused, 0 (3 bits)
+ *     16:31   Window id (16 bits)
+ */
+static inline u32 encode_pswid(int vasid, int winid)
+{
+       u32 pswid = 0;
+
+       pswid |= vasid << (31 - 7);
+       pswid |= winid;
+
+       return pswid;
+}
+
+static inline void decode_pswid(u32 pswid, int *vasid, int *winid)
+{
+       if (vasid)
+               *vasid = pswid >> (31 - 7) & 0xFF;
+
+       if (winid)
+               *winid = pswid & 0xFFFF;
+}
 #endif /* _VAS_H */