[arch][arm64] Fix barriers in startup code

littlekernel / lk

LK embedded kernel

MIT License

3.17k stars 621 forks source link

[arch][arm64] Fix barriers in startup code #234

Closed ghost closed 6 years ago

ghost commented 6 years ago

After a TLBI instruction the right thing to do is to execute DSB followed by ISB. DSB ensures that the TLBI is seen by all observers of the system and ISB ensures that the DSB has finished before continuing.

travisg commented 6 years ago

Ah thanks for the fix.

ghost commented 6 years ago

No problem. Now that I think of it, probably arm32 also needs a similar fix...