Lines Matching refs:fs_val
921 unsigned int fs_val = 0; in isabelle_hw_params() local
925 fs_val = ISABELLE_FS_RATE_8; in isabelle_hw_params()
928 fs_val = ISABELLE_FS_RATE_11; in isabelle_hw_params()
931 fs_val = ISABELLE_FS_RATE_12; in isabelle_hw_params()
934 fs_val = ISABELLE_FS_RATE_16; in isabelle_hw_params()
937 fs_val = ISABELLE_FS_RATE_22; in isabelle_hw_params()
940 fs_val = ISABELLE_FS_RATE_24; in isabelle_hw_params()
943 fs_val = ISABELLE_FS_RATE_32; in isabelle_hw_params()
946 fs_val = ISABELLE_FS_RATE_44; in isabelle_hw_params()
949 fs_val = ISABELLE_FS_RATE_48; in isabelle_hw_params()
956 ISABELLE_FS_RATE_MASK, fs_val); in isabelle_hw_params()