Searched refs:kdfcctl_cfg0 (Results 1 – 2 of 2) sorted by relevance
3122 val64 = readq(&vpath_reg->kdfcctl_cfg0); in __vxge_hw_kdfc_swapper_set()3129 writeq(val64, &vpath_reg->kdfcctl_cfg0); in __vxge_hw_kdfc_swapper_set()
4528 /*0x02220*/ u64 kdfcctl_cfg0; member