Lines Matching defs:be
187 val be = Lib.exists is_big_end lp
196 if be then rev_intro wa thm' else thm'
886 val () = arm_config "vfp,be" "flat"
887 val () = arm_config "vfp,be" "array"
888 val () = arm_config "vfp,be" "mapped"
889 val () = arm_config "vfp,be" "mapped32"
891 val () = arm_config "vfp,be" "map-reg,flat"
892 val () = arm_config "vfp,be" "map-reg,array"
893 val () = arm_config "vfp,be" "map-reg,mapped"
894 val () = arm_config "vfp,be" "map-reg,mapped32"
906 val () = arm_config "vfp,be" "flat,temporal"
907 val () = arm_config "vfp,be" "array,temporal"
908 val () = arm_config "vfp,be" "mapped,temporal"
909 val () = arm_config "vfp,be" "mapped32,temporal"
911 val () = arm_config "vfp,be" "map-reg,flat,temporal"
912 val () = arm_config "vfp,be" "map-reg,array,temporal"
913 val () = arm_config "vfp,be" "map-reg,mapped,temporal"
914 val () = arm_config "vfp,be" "map-reg,mapped32,temporal"