Home
last modified time | relevance | path

Searched refs:rf (Results 1 – 25 of 202) sorted by relevance

123456789

/linux/drivers/infiniband/hw/irdma/
A Dhw.c434 irdma_process_ceq(rf, rf->ceqlist); in irdma_dpc()
446 struct irdma_pci_f *rf = iwceq->rf; in irdma_ceq_dpc() local
478 (&rf->iw_msixtbl[rf->msix_count]); in irdma_save_msix_info()
615 irdma_destroy_irq(rf, rf->iw_msixtbl, rf); in irdma_destroy_aeq()
1164 iwceq->rf = rf; in irdma_create_ceq()
1506 rf->gen_ops.request_reset(rf); in irdma_reinitialize_ieq()
1550 dma_free_coherent(rf->hw.device, rf->obj_mem.size, rf->obj_mem.va, in irdma_del_init_mem()
1678 rf->hw.device = &rf->pcidev->dev; in irdma_setup_init_state()
1687 rf->obj_next = rf->obj_mem; in irdma_setup_init_state()
1695 dma_free_coherent(rf->hw.device, rf->obj_mem.size, rf->obj_mem.va, in irdma_setup_init_state()
[all …]
A Dmain.c138 if (iwdev->rf->reset) in irdma_iidc_event_handler()
139 iwdev->rf->gen_ops.request_reset(iwdev->rf); in irdma_iidc_event_handler()
221 struct irdma_pci_f *rf = iwdev->rf; in irdma_fill_device_info() local
223 rf->cdev = pf; in irdma_fill_device_info()
227 rf->pcidev = pf->pdev; in irdma_fill_device_info()
236 rf->limits_sel = 7; in irdma_fill_device_info()
237 rf->iwdev = iwdev; in irdma_fill_device_info()
268 iwdev->rf = kzalloc(sizeof(*rf), GFP_KERNEL); in irdma_probe()
269 if (!iwdev->rf) { in irdma_probe()
275 rf = iwdev->rf; in irdma_probe()
[all …]
A Di40iw_if.c58 iwdev->rf->reset = true; in i40iw_close()
75 struct irdma_pci_f *rf = iwdev->rf; in i40iw_fill_device_info() local
81 rf->cdev = cdev_info; in i40iw_fill_device_info()
84 rf->limits_sel = 5; in i40iw_fill_device_info()
86 rf->iwdev = iwdev; in i40iw_fill_device_info()
109 struct irdma_pci_f *rf; in i40iw_open() local
119 iwdev->rf = kzalloc(sizeof(*rf), GFP_KERNEL); in i40iw_open()
120 if (!iwdev->rf) { in i40iw_open()
126 rf = iwdev->rf; in i40iw_open()
161 irdma_ctrl_deinit_hw(rf); in i40iw_open()
[all …]
A Dutils.c39 if (irdma_alloc_rsrc(rf, rf->allocated_arps, rf->arp_table_size, in irdma_arp_table()
62 irdma_free_rsrc(rf, rf->allocated_arps, arp_index); in irdma_arp_table()
89 irdma_manage_arp_cache(rf, rf->arp_table[arpidx].mac_addr, ip, in irdma_add_arp()
563 irdma_cqp_ce_handler(rf, &rf->ccq.sc_cq); in irdma_wait_event()
576 rf->gen_ops.request_reset(rf); in irdma_wait_event()
588 rf->gen_ops.request_reset(rf); in irdma_wait_event()
1113 struct irdma_pci_f *rf = iwdev->rf; in irdma_free_qp_rsrc() local
1125 irdma_free_rsrc(rf, rf->allocated_qps, qp_num); in irdma_free_qp_rsrc()
1188 struct irdma_pci_f *rf = iwdev->rf; in irdma_hw_modify_qp() local
2166 err = irdma_alloc_rsrc(rf, rf->allocated_ahs, rf->max_ah, in irdma_puda_create_ah()
[all …]
A Dverbs.c16 struct irdma_pci_f *rf = iwdev->rf; in irdma_query_device() local
34 props->max_qp = rf->max_qp - rf->used_qps; in irdma_query_device()
38 props->max_cq = rf->max_cq - rf->used_cqs; in irdma_query_device()
40 props->max_mr = rf->max_mr - rf->used_mrs; in irdma_query_device()
42 props->max_pd = rf->max_pd - rf->used_pds; in irdma_query_device()
389 struct irdma_pci_f *rf = iwdev->rf; in irdma_alloc_pd() local
395 err = irdma_alloc_rsrc(rf, rf->allocated_pds, rf->max_pd, &pd_id, in irdma_alloc_pd()
803 struct irdma_pci_f *rf = iwdev->rf; in irdma_create_qp() local
856 err_code = irdma_alloc_rsrc(rf, rf->allocated_qps, rf->max_qp, in irdma_create_qp()
1795 rf = iwdev->rf; in irdma_resize_cq()
[all …]
A Dmain.h193 struct irdma_pci_f *rf; member
244 void (*request_reset)(struct irdma_pci_f *rf);
330 struct irdma_pci_f *rf; member
422 spin_lock_irqsave(&rf->rsrc_lock, flags); in irdma_alloc_rsrc()
427 spin_unlock_irqrestore(&rf->rsrc_lock, flags); in irdma_alloc_rsrc()
428 ibdev_dbg(&rf->iwdev->ibdev, in irdma_alloc_rsrc()
439 spin_unlock_irqrestore(&rf->rsrc_lock, flags); in irdma_alloc_rsrc()
455 spin_lock_irqsave(&rf->rsrc_lock, flags); in irdma_free_rsrc()
457 spin_unlock_irqrestore(&rf->rsrc_lock, flags); in irdma_free_rsrc()
461 void irdma_ctrl_deinit_hw(struct irdma_pci_f *rf);
[all …]
/linux/drivers/media/test-drivers/vicodec/
A Dcodec-v4l2-fwht.c138 rf->cr = rf->cb + 1; in prepare_raw_frame()
144 rf->cb = rf->cr + 1; in prepare_raw_frame()
148 rf->cr = rf->cb + 2; in prepare_raw_frame()
152 rf->cb = rf->cr + 2; in prepare_raw_frame()
155 rf->cb = rf->luma; in prepare_raw_frame()
156 rf->cr = rf->cb + 2; in prepare_raw_frame()
160 rf->cr = rf->luma; in prepare_raw_frame()
166 rf->cr = rf->luma; in prepare_raw_frame()
171 rf->cb = rf->luma; in prepare_raw_frame()
187 rf->cb = rf->luma; in prepare_raw_frame()
[all …]
/linux/drivers/net/wireless/zydas/zd1211rw/
A Dzd_rf.c44 memset(rf, 0, sizeof(*rf)); in zd_rf_init()
53 if (rf->clear) in zd_rf_clear()
54 rf->clear(rf); in zd_rf_clear()
55 ZD_MEMCLEAR(rf, sizeof(*rf)); in zd_rf_clear()
83 rf->type = 0; in zd_rf_init_hw()
90 rf->type = type; in zd_rf_init_hw()
95 t = rf->init_hw(rf); in zd_rf_init_hw()
118 r = rf->set_channel(rf, channel); in zd_rf_set_channel()
133 t = rf->switch_radio_on(rf); in zd_switch_radio_on()
150 t = rf->switch_radio_off(rf); in zd_switch_radio_off()
[all …]
A Dzd_rf.h55 int (*init_hw)(struct zd_rf *rf);
57 int (*switch_radio_on)(struct zd_rf *rf);
60 void (*clear)(struct zd_rf *rf);
64 void zd_rf_init(struct zd_rf *rf);
65 void zd_rf_clear(struct zd_rf *rf);
72 int zd_switch_radio_on(struct zd_rf *rf);
80 return rf->update_channel_int; in zd_rf_should_update_pwr_int()
85 return rf->patch_cck_gain; in zd_rf_should_patch_cck_gain()
93 int zd_rf_init_rf2959(struct zd_rf *rf);
94 int zd_rf_init_al2230(struct zd_rf *rf);
[all …]
A Dzd_rf_al2230.c95 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al2230_init_hw()
208 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al2230_init_hw()
351 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al2230_set_channel()
367 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al2230_set_channel()
383 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al2230_switch_radio_on()
394 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al2230_switch_radio_on()
405 struct zd_chip *chip = zd_rf_to_chip(rf); in al2230_switch_radio_off()
414 int zd_rf_init_al2230(struct zd_rf *rf) in zd_rf_init_al2230() argument
420 rf->init_hw = zd1211b_al2230_init_hw; in zd_rf_init_al2230()
424 rf->init_hw = zd1211_al2230_init_hw; in zd_rf_init_al2230()
[all …]
A Dzd_rf_al7230b.c90 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al7230b_init_hw()
195 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al7230b_init_hw()
317 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al7230b_set_channel()
364 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al7230b_set_channel()
409 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211_al7230b_switch_radio_on()
420 struct zd_chip *chip = zd_rf_to_chip(rf); in zd1211b_al7230b_switch_radio_on()
431 struct zd_chip *chip = zd_rf_to_chip(rf); in al7230b_switch_radio_off()
462 int zd_rf_init_al7230b(struct zd_rf *rf) in zd_rf_init_al7230b() argument
467 rf->init_hw = zd1211b_al7230b_init_hw; in zd_rf_init_al7230b()
472 rf->init_hw = zd1211_al7230b_init_hw; in zd_rf_init_al7230b()
[all …]
A Dzd_rf_uw2453.c240 #define UW2453_PRIV(rf) ((struct uw2453_priv *) (rf)->priv) argument
301 struct zd_chip *chip = zd_rf_to_chip(rf); in uw2453_init_hw()
432 int config = UW2453_PRIV(rf)->config; in uw2453_set_channel()
434 struct zd_chip *chip = zd_rf_to_chip(rf); in uw2453_set_channel()
507 kfree(rf->priv); in uw2453_clear()
510 int zd_rf_init_uw2453(struct zd_rf *rf) in zd_rf_init_uw2453() argument
512 rf->init_hw = uw2453_init_hw; in zd_rf_init_uw2453()
513 rf->set_channel = uw2453_set_channel; in zd_rf_init_uw2453()
517 rf->clear = uw2453_clear; in zd_rf_init_uw2453()
519 rf->update_channel_int = 0; in zd_rf_init_uw2453()
[all …]
A Dzd_rf_rf2959.c136 static int rf2959_init_hw(struct zd_rf *rf) in rf2959_init_hw() argument
139 struct zd_chip *chip = zd_rf_to_chip(rf); in rf2959_init_hw()
222 struct zd_chip *chip = zd_rf_to_chip(rf); in rf2959_set_channel()
238 struct zd_chip *chip = zd_rf_to_chip(rf); in rf2959_switch_radio_on()
249 struct zd_chip *chip = zd_rf_to_chip(rf); in rf2959_switch_radio_off()
254 int zd_rf_init_rf2959(struct zd_rf *rf) in zd_rf_init_rf2959() argument
256 struct zd_chip *chip = zd_rf_to_chip(rf); in zd_rf_init_rf2959()
264 rf->init_hw = rf2959_init_hw; in zd_rf_init_rf2959()
265 rf->set_channel = rf2959_set_channel; in zd_rf_init_rf2959()
266 rf->switch_radio_on = rf2959_switch_radio_on; in zd_rf_init_rf2959()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8192ce/
A Drf.c177 for (rf = 0; rf < 2; rf++) { in _rtl92c_get_txpower_writeval_by_regulatory()
183 (rf ? 8 : 0)] in _rtl92c_get_txpower_writeval_by_regulatory()
184 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
193 powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
224 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
279 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
289 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
322 u8 i, rf, pwr_val[4]; in _rtl92c_write_ofdm_power_reg() local
326 for (rf = 0; rf < 2; rf++) { in _rtl92c_write_ofdm_power_reg()
327 writeval = value[rf]; in _rtl92c_write_ofdm_power_reg()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8723ae/
A Drf.c182 for (rf = 0; rf < 2; rf++) { in get_txpower_writeval_by_reg()
189 (rf ? 8 : 0)] in get_txpower_writeval_by_reg()
190 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_reg()
199 powerbase1[rf]); in get_txpower_writeval_by_reg()
234 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_reg()
290 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_reg()
301 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_reg()
334 u8 i, rf, pwr_val[4]; in _rtl8723e_write_ofdm_power_reg() local
338 for (rf = 0; rf < 2; rf++) { in _rtl8723e_write_ofdm_power_reg()
339 writeval = pvalue[rf]; in _rtl8723e_write_ofdm_power_reg()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8821ae/
A Drf.c170 for (rf = 0; rf < 2; rf++) { in get_txpower_writeval_by_regulatory()
177 (rf ? 8 : 0)] in get_txpower_writeval_by_regulatory()
178 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_regulatory()
205 powerbase0[rf] : in get_txpower_writeval_by_regulatory()
215 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_regulatory()
275 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_regulatory()
286 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in get_txpower_writeval_by_regulatory()
317 u8 i, rf, pwr_val[4]; in _rtl8821ae_write_ofdm_power_reg() local
321 for (rf = 0; rf < 2; rf++) { in _rtl8821ae_write_ofdm_power_reg()
322 writeval = pvalue[rf]; in _rtl8821ae_write_ofdm_power_reg()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8188ee/
A Drf.c188 for (rf = 0; rf < 2; rf++) { in _rtl88e_get_txpower_writeval_by_regulatory()
196 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl88e_get_txpower_writeval_by_regulatory()
223 powerbase0[rf] : in _rtl88e_get_txpower_writeval_by_regulatory()
224 powerbase1[rf]); in _rtl88e_get_txpower_writeval_by_regulatory()
233 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl88e_get_txpower_writeval_by_regulatory()
295 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl88e_get_txpower_writeval_by_regulatory()
306 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl88e_get_txpower_writeval_by_regulatory()
337 u8 i, rf, pwr_val[4]; in _rtl88e_write_ofdm_power_reg() local
341 for (rf = 0; rf < 2; rf++) { in _rtl88e_write_ofdm_power_reg()
342 writeval = value[rf]; in _rtl88e_write_ofdm_power_reg()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8192cu/
A Drf.c168 for (rf = 0; rf < 2; rf++) { in _rtl92c_get_txpower_writeval_by_regulatory()
174 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
196 (rf ? 8 : 0)] + in _rtl92c_get_txpower_writeval_by_regulatory()
198 powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
205 powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
254 powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
263 powerbase0[rf] : powerbase1[rf]); in _rtl92c_get_txpower_writeval_by_regulatory()
296 u8 i, rf, pwr_val[4]; in _rtl92c_write_ofdm_power_reg() local
300 for (rf = 0; rf < 2; rf++) { in _rtl92c_write_ofdm_power_reg()
301 writeval = value[rf]; in _rtl92c_write_ofdm_power_reg()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8723be/
A Drf.c189 for (rf = 0; rf < 2; rf++) { in _rtl8723be_get_txpower_writeval_by_regulatory()
196 (rf ? 8 : 0)] in _rtl8723be_get_txpower_writeval_by_regulatory()
197 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl8723be_get_txpower_writeval_by_regulatory()
234 ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl8723be_get_txpower_writeval_by_regulatory()
248 [rf][channel - 1]); in _rtl8723be_get_txpower_writeval_by_regulatory()
254 [rf][channel - 1]); in _rtl8723be_get_txpower_writeval_by_regulatory()
309 + ((index < 2) ? powerbase0[rf] : powerbase1[rf]); in _rtl8723be_get_txpower_writeval_by_regulatory()
340 u8 i, rf, pwr_val[4]; in _rtl8723be_write_ofdm_power_reg() local
344 for (rf = 0; rf < 2; rf++) { in _rtl8723be_write_ofdm_power_reg()
345 writeval = pvalue[rf]; in _rtl8723be_write_ofdm_power_reg()
[all …]
/linux/drivers/staging/r8188eu/hal/
A Drtl8188e_rf6052.c196 u32 writeVal, customer_limit, rf; in get_rx_power_val_by_reg() local
201 for (rf = 0; rf < 2; rf++) { in get_rx_power_val_by_reg()
207 ((index < 2) ? powerBase0[rf] : powerBase1[rf]); in get_rx_power_val_by_reg()
228 ((index < 2) ? powerBase0[rf] : powerBase1[rf]); in get_rx_power_val_by_reg()
232 writeVal = ((index < 2) ? powerBase0[rf] : powerBase1[rf]); in get_rx_power_val_by_reg()
261 writeVal = customer_limit + ((index < 2) ? powerBase0[rf] : powerBase1[rf]); in get_rx_power_val_by_reg()
266 ((index < 2) ? powerBase0[rf] : powerBase1[rf]); in get_rx_power_val_by_reg()
284 u8 i, rf, pwr_val[4]; in writeOFDMPowerReg88E() local
288 for (rf = 0; rf < 2; rf++) { in writeOFDMPowerReg88E()
289 writeVal = pValue[rf]; in writeOFDMPowerReg88E()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8192de/
A Drf.c199 for (rf = 0; rf < 2; rf++) { in _rtl92d_get_txpower_writeval_by_regulatory()
206 powerbase0[rf] : in _rtl92d_get_txpower_writeval_by_regulatory()
207 powerbase1[rf]); in _rtl92d_get_txpower_writeval_by_regulatory()
226 powerbase0[rf] : in _rtl92d_get_txpower_writeval_by_regulatory()
227 powerbase1[rf]); in _rtl92d_get_txpower_writeval_by_regulatory()
235 powerbase1[rf]); in _rtl92d_get_txpower_writeval_by_regulatory()
284 powerbase0[rf] : powerbase1[rf]); in _rtl92d_get_txpower_writeval_by_regulatory()
293 powerbase0[rf] : powerbase1[rf]); in _rtl92d_get_txpower_writeval_by_regulatory()
318 u8 i, rf, pwr_val[4]; in _rtl92d_write_ofdm_power_reg() local
322 for (rf = 0; rf < 2; rf++) { in _rtl92d_write_ofdm_power_reg()
[all …]
/linux/drivers/thermal/qcom/
A Dtsens.c807 if (IS_ERR(priv->rf[i])) { in init_common()
808 ret = PTR_ERR(priv->rf[i]); in init_common()
844 if (IS_ERR(priv->rf[INT_EN])) { in init_common()
849 priv->rf[TSENS_SW_RST] = in init_common()
857 if (IS_ERR(priv->rf[TRDY])) { in init_common()
858 ret = PTR_ERR(priv->rf[TRDY]); in init_common()
870 if (IS_ERR(priv->rf[idx])) { in init_common()
883 priv->rf[idx] = in init_common()
887 if (IS_ERR(priv->rf[idx])) { in init_common()
901 if (IS_ERR(priv->rf[i])) { in init_common()
[all …]
/linux/drivers/net/wireless/realtek/rtlwifi/rtl8192ee/
A Dhw.c1800 for (rf = 0 ; rf < MAX_RF_PATH ; rf++) { in _rtl8192ee_read_power_value_fromprom()
1842 for (rf = 0 ; rf < MAX_RF_PATH ; rf++) { in _rtl8192ee_read_power_value_fromprom()
2020 u8 rf, idx; in _rtl92ee_read_txpower_info_from_hwpg() local
2026 for (rf = 0; rf < MAX_RF_PATH; rf++) { in _rtl92ee_read_txpower_info_from_hwpg()
2057 efu->txpwr_cckdiff[rf][i] = pwr2g.cck_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
2059 efu->txpwr_ht20diff[rf][i] = pwr2g.bw20_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
2060 efu->txpwr_ht40diff[rf][i] = pwr2g.bw40_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
2062 efu->txpwr_5g_ofdmdiff[rf][i] = pwr5g.ofdm_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
2063 efu->txpwr_5g_bw20diff[rf][i] = pwr5g.bw20_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
2064 efu->txpwr_5g_bw40diff[rf][i] = pwr5g.bw40_diff[rf][i]; in _rtl92ee_read_txpower_info_from_hwpg()
[all …]
/linux/arch/parisc/kernel/
A Dsignal32.c53 err |= __get_user(compat_regt,&rf->rf_gr[regn]); in restore_sigcontext32()
67 err |= __get_user(compat_regt, &rf->rf_iaoq[0]); in restore_sigcontext32()
75 err |= __get_user(compat_regt, &rf->rf_iaoq[1]); in restore_sigcontext32()
85 err |= __get_user(compat_regt, &rf->rf_iasq[0]); in restore_sigcontext32()
91 err |= __get_user(compat_regt, &rf->rf_iasq[1]); in restore_sigcontext32()
99 err |= __get_user(compat_regt, &rf->rf_sar); in restore_sigcontext32()
141 err |= __put_user(compat_reg, &rf->rf_iaoq[0]); in setup_sigcontext32()
151 err |= __put_user(compat_reg, &rf->rf_iaoq[1]); in setup_sigcontext32()
161 err |= __put_user(compat_reg, &rf->rf_iasq[0]); in setup_sigcontext32()
186 err |= __put_user(compat_reg, &rf->rf_iaoq[1]); in setup_sigcontext32()
[all …]
/linux/tools/memory-model/
A Dlock.cat95 (* Generate all rf relations for LF events *)
97 let rf-lf = rfe-lf | rfi-lf
117 let rf-ru = rfe-ru | rfi-ru
119 (* Final rf relation *)
120 let rf = rf | rf-lf | rf-ru
134 (* Merge LKR events into rf *)
135 let rf = rf | ([IW | UL] ; singlestep(co) ; lk-rmw^-1)
136 let rfe = rf & ext
137 let rfi = rf & int
139 let fr = rf^-1 ; co
[all …]

Completed in 62 milliseconds

123456789