Searched refs:avf0 (Results 1 – 1 of 1) sorted by relevance
317 uint32_t avf0, avf1; in helper_addr_h_ssov() local324 avf0 = result0 * 2u; in helper_addr_h_ssov()325 avf0 = result0 ^ avf0; in helper_addr_h_ssov()348 env->PSW_USB_AV = avf0 | avf1; in helper_addr_h_ssov()363 uint32_t avf0, avf1; in helper_addsur_h_ssov() local370 avf0 = result0 * 2u; in helper_addsur_h_ssov()371 avf0 = result0 ^ avf0; in helper_addsur_h_ssov()394 env->PSW_USB_AV = avf0 | avf1; in helper_addsur_h_ssov()473 uint32_t avf0, avf1; in helper_subr_h_ssov() local480 avf0 = result0 * 2u; in helper_subr_h_ssov()[all …]