forked from Imagelibrary/seL4
trivial: add missing space character
Signed-off-by: Kent McLeod <kent@kry10.com>
This commit is contained in:
@@ -100,7 +100,7 @@ static inline void sfence(void)
|
||||
{
|
||||
fence_w_rw();
|
||||
sfence_local();
|
||||
word_tmask = get_sbi_mask_for_all_remote_harts();
|
||||
word_t mask = get_sbi_mask_for_all_remote_harts();
|
||||
sbi_remote_sfence_vma(mask, 0, 0);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user