Searched refs:smp_rmb (Results 1 – 19 of 19) sorted by relevance
29 #define smp_rmb() dmb(ishld) macro31 #define smp_rmb() dmb(ish) /* 32-bit has no ishld variant. */ macro
63 smp_rmb(); in consoled_guest_rx()118 smp_rmb(); in consoled_guest_tx()
112 smp_rmb(); in pv_console_rx()147 smp_rmb(); in pv_ring_puts()
17 smp_rmb(); in rspin_until_writer_unlock()
127 smp_rmb(); in observe_lock()134 smp_rmb(); in observe_head()
393 smp_rmb(); in __rcu_process_callbacks()
34 smp_rmb(); in evtchn_fifo_word_from_port()
35 #define xen_rmb() smp_rmb()
724 smp_rmb(); in __trace_var()
844 smp_rmb(); in mapkind()1243 smp_rmb(); in unmap_common()1301 smp_rmb(); in unmap_common()1322 smp_rmb(); in unmap_common()
1298 smp_rmb(); in check_for_livepatch_work()
182 #define smp_rmb() rmb() macro
89 smp_rmb(); in vpl011_read_data()394 smp_rmb(); in vpl011_data_avail()
418 smp_rmb(); in __cpu_up()
108 smp_rmb(); in gic_get_host_lpi()
585 smp_rmb(); in read_xen_timer()591 smp_rmb(); in read_xen_timer()978 smp_rmb(); in get_wallclock_time()981 smp_rmb(); in get_wallclock_time()1536 smp_rmb(); /* receive signal /then/ read r->master_stime */ in time_calibration_std_rendezvous()
174 smp_rmb(); in vmx_pi_unblock_vcpu()
3061 smp_rmb(); in sh_page_fault()
520 smp_rmb(); in hvm_do_resume()
Completed in 48 milliseconds