#include <linux/kernel.h>
 #include <linux/io.h>
+#include <linux/workqueue.h>
 
 #include <asm/lmb.h>
 
        return 0;
 }
 
+/**
+ * os_area_queue_work_handler - Asynchronous write handler.
+ *
+ * An asynchronous write for flash memory and the device tree.  Do not
+ * call directly, use os_area_queue_work().
+ */
+
+static void os_area_queue_work_handler(struct work_struct *work)
+{
+       pr_debug(" -> %s:%d\n", __func__, __LINE__);
+
+       pr_debug(" <- %s:%d\n", __func__, __LINE__);
+}
+
+static void os_area_queue_work(void)
+{
+       static DECLARE_WORK(q, os_area_queue_work_handler);
+
+       wmb();
+       schedule_work(&q);
+}
+
 /**
  * ps3_os_area_save_params - Copy data from os area mirror to @saved_params.
  *