Takayuki Okamoto 3bd0137c25 Fix some race condition on arm64 ...

* move barrier() to architecture depended region
* add barrier() in issue_ipi, kprintf, map_virtual
* enable the workaround for cavium thunderx

2017-10-18 09:20:51 +09:00

2.6 KiB

Raw Blame History

View Raw