diff options
Diffstat (limited to 'sys/arm64/include/cpu.h')
| -rw-r--r-- | sys/arm64/include/cpu.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sys/arm64/include/cpu.h b/sys/arm64/include/cpu.h index d3b13470a9be..7659874e9bb4 100644 --- a/sys/arm64/include/cpu.h +++ b/sys/arm64/include/cpu.h @@ -222,7 +222,8 @@ arm64_address_translate_ ##stage (uint64_t addr) \ uint64_t ret; \ \ __asm __volatile( \ - "at " __STRING(stage) ", %1 \n" \ + "at " __STRING(stage) ", %1 \n" \ + "isb \n" \ "mrs %0, par_el1" : "=r"(ret) : "r"(addr)); \ \ return (ret); \ |