HomeFreeBSD

Add a missing data barrier to the start of arm64_tlb_flushID.

Description

Add a missing data barrier to the start of arm64_tlb_flushID.

We need to ensure the page table store has happened before the tlbi.

Reported by: jchandra
Tested by: jchandra
Sponsored by: DARPA, AFRL
Differential Revision: https://reviews.freebsd.org/D19097

Details

Provenance
andrewAuthored on
Differential Revision
D19097: Add missing pmap dsb instructions
Parents
rS343874: mtree: Add dtb subdir to the mtree file
Branches
Unknown
Tags
Unknown