- __asm__ volatile("dmb ishld" ::: "memory");
- } while(params.base_local_ts && (params.base_local_ts != commpage_bt_params_p->base_local_ts));
+ __asm__ volatile ("dmb ishld" ::: "memory");
+ } while (params.base_local_ts && (params.base_local_ts != commpage_bt_params_p->base_local_ts));