916 	unsigned int fs_val = 0;  in isabelle_hw_params()  local
920 		fs_val = ISABELLE_FS_RATE_8;  in isabelle_hw_params()
923 		fs_val = ISABELLE_FS_RATE_11;  in isabelle_hw_params()
926 		fs_val = ISABELLE_FS_RATE_12;  in isabelle_hw_params()
929 		fs_val = ISABELLE_FS_RATE_16;  in isabelle_hw_params()
932 		fs_val = ISABELLE_FS_RATE_22;  in isabelle_hw_params()
935 		fs_val = ISABELLE_FS_RATE_24;  in isabelle_hw_params()
938 		fs_val = ISABELLE_FS_RATE_32;  in isabelle_hw_params()
941 		fs_val = ISABELLE_FS_RATE_44;  in isabelle_hw_params()
944 		fs_val = ISABELLE_FS_RATE_48;  in isabelle_hw_params()
951 			ISABELLE_FS_RATE_MASK, fs_val);  in isabelle_hw_params()