Lines Matching refs:fs_val
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()