Searched refs:avf1 (Results 1 – 1 of 1) sorted by relevance
317 uint32_t avf0, avf1; in helper_addr_h_ssov() local326 avf1 = result1 * 2u; in helper_addr_h_ssov()327 avf1 = result1 ^ avf1; 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() local372 avf1 = result1 * 2u; in helper_addsur_h_ssov()373 avf1 = result1 ^ avf1; 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() local482 avf1 = result1 * 2u; in helper_subr_h_ssov()[all …]