diff options
| -rw-r--r-- | sysdeps/unix/sysv/linux/powerpc/powerpc64/arch-pkey.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sysdeps/unix/sysv/linux/powerpc/powerpc64/arch-pkey.h b/sysdeps/unix/sysv/linux/powerpc/powerpc64/arch-pkey.h index 623b073d5a..25d080c9a6 100644 --- a/sysdeps/unix/sysv/linux/powerpc/powerpc64/arch-pkey.h +++ b/sysdeps/unix/sysv/linux/powerpc/powerpc64/arch-pkey.h @@ -37,7 +37,7 @@ pkey_read (void) static inline void pkey_write (unsigned long int value) { - __asm__ volatile ("mtspr 13, %0" : : "r" (value)); + __asm__ volatile ("isync; mtspr 13, %0; isync" : : "r" (value)); } /* Number of the largest supported key. This depends on the width of |