#define PPC_INST_STWCX                 0x7c00012d
 #define PPC_INST_LWSYNC                        0x7c2004ac
 #define PPC_INST_SYNC                  0x7c0004ac
+#define PPC_INST_PHWSYNC               0x7c8004ac
+#define PPC_INST_PLWSYNC               0x7ca004ac
 #define PPC_INST_SYNC_MASK             0xfc0007fe
 #define PPC_INST_ISYNC                 0x4c00012c
 #define PPC_INST_LXVD2X                        0x7c000698
 #define PPC_INST_TABORT                        0x7c00071d
 #define PPC_INST_TSR                   0x7c0005dd
 
+#define PPC_INST_DCBF                  0x7c0000ac
+
 #define PPC_INST_NAP                   0x4c000364
 #define PPC_INST_SLEEP                 0x4c0003a4
 #define PPC_INST_WINKLE                        0x4c0003e4
 #define STBCIX(s,a,b)          stringify_in_c(.long PPC_INST_STBCIX | \
                                       __PPC_RS(s) | __PPC_RA(a) | __PPC_RB(b))
 
+#define        PPC_DCBFPS(a, b)        stringify_in_c(.long PPC_INST_DCBF |    \
+                                      ___PPC_RA(a) | ___PPC_RB(b) | (4 << 21))
+#define        PPC_DCBSTPS(a, b)       stringify_in_c(.long PPC_INST_DCBF |    \
+                                      ___PPC_RA(a) | ___PPC_RB(b) | (6 << 21))
+
+#define        PPC_PHWSYNC             stringify_in_c(.long PPC_INST_PHWSYNC)
+#define        PPC_PLWSYNC             stringify_in_c(.long PPC_INST_PLWSYNC)
+
 /*
  * Define what the VSX XX1 form instructions will look like, then add
  * the 128 bit load store instructions based on that.