Searched refs:family (Results 1 - 25 of 44) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/
H A Dcpu_identification.c14 /** @file Support routines for identifying the processor family, model, etc
57 uint8_t family, model; member in struct:family_model
65 * require you to take into account an additional extended family and model
70 if (original.family != 0x0F) {
71 ci->display.family = original.family;
73 ci->display.family = ci->display.extended_family + original.family;
78 * if (original->family == 0x06 || original->family
[all...]
H A Dhardware.c114 /* The model ID is only useful when hashed together with the family ID.
121 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID
138 model_info->family, model_info->model);
H A Dbreakpoint.c676 if (modelinfo->family == 15) {
682 if (modelinfo->family == 6) {
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DconstrFamiliesLib.sig53 (* a constructor family is a list of constructors,
57 (* Get the rewrites stored in a constructor family, these
62 (* Get the case-cong stored in a constructor family. *)
66 in a constructor family. *)
69 (* Get the case-split theorem for the family. *)
72 (* If the constructor family is exhaustive, a theorem stating
76 (* Get the constructors of the family. *)
81 make a new constructor family. It consists of the constructors
88 proof obligations that occur when creating a new constructor family
96 (* [constructorFamily_of_typebase ty] extracts the constructor family
[all...]
/seL4-l4v-10.1.1/isabelle/src/Pure/GUI/
H A Dgui.scala239 def imitate_font(font: Font, family: String, scale: Double = 1.0): Font =
241 val font1 = new Font(family, font.getStyle, font.getSize)
243 new Font(family, font.getStyle, (scale * rel_size * font.getSize).toInt)
246 def imitate_font_css(font: Font, family: String, scale: Double = 1.0): String =
248 val font1 = new Font(family, font.getStyle, font.getSize)
250 "font-family: " + family + "; font-size: " + (scale * rel_size * 100).toInt + "%;"
259 def font(family: String = "IsabelleText", size: Int = 1, bold: Boolean = false): Font =
260 new Font(family, if (bold) Font.BOLD else Font.PLAIN, size)
/seL4-l4v-10.1.1/isabelle/src/Tools/jEdit/src/
H A Dfont_info.scala95 sealed case class Font_Info(family: String, size: Float)
97 def font: Font = new Font(family, Font.PLAIN, size.round)
H A Dpretty_text_area.scala101 SyntaxUtilities.loadStyles(current_font_info.family, current_font_info.size.round))
109 current_font_info.family, current_font_info.size.round, true)
H A Dsyntax_style.scala84 for ((family, idx) <- Symbol.font_index)
85 new_styles(user_font(idx, i.toByte)) = font_style(style, GUI.imitate_font(_, family))
H A Dsymbols_dockable.scala92 case Some(font_family) => GUI.font(family = font_family, size = font_size)
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/
H A Dgui.scala239 def imitate_font(font: Font, family: String, scale: Double = 1.0): Font =
241 val font1 = new Font(family, font.getStyle, font.getSize)
243 new Font(family, font.getStyle, (scale * rel_size * font.getSize).toInt)
246 def imitate_font_css(font: Font, family: String, scale: Double = 1.0): String =
248 val font1 = new Font(family, font.getStyle, font.getSize)
250 "font-family: " + family + "; font-size: " + (scale * rel_size * 100).toInt + "%;"
259 def font(family: String = "IsabelleText", size: Int = 1, bold: Boolean = false): Font =
260 new Font(family, if (bold) Font.BOLD else Font.PLAIN, size)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/jEdit/src/
H A Dfont_info.scala95 sealed case class Font_Info(family: String, size: Float)
97 def font: Font = new Font(family, Font.PLAIN, size.round)
H A Dpretty_text_area.scala101 SyntaxUtilities.loadStyles(current_font_info.family, current_font_info.size.round))
109 current_font_info.family, current_font_info.size.round, true)
H A Dsyntax_style.scala84 for ((family, idx) <- Symbol.font_index)
85 new_styles(user_font(idx, i.toByte)) = font_style(style, GUI.imitate_font(_, family))
H A Dsymbols_dockable.scala92 case Some(font_family) => GUI.font(family = font_family, size = font_size)
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DFontBase.sml71 (* In the underlying CreateFont call the pitch and family are ORed together. *)
95 fun pitchAndFamilyToW8 (pitch, family) = orb(fromPitch pitch, fromFamily family)
174 family: FontFamily,
189 val (pitch, family) = pitchAndFamilyFromW8 pitchFamily
197 quality = outQualFromW8 quality, pitch = pitch, family = family,
203 pitch, family, faceName}: LOGFONT) =
205 val pitchFamily = pitchAndFamilyToW8(pitch, family)
H A DFont.sml90 family: FontFamily,
136 pitch: TextMetricPitch list, family: FontFamily, charSet : CharacterSet }
277 pitch: FontPitch, family: FontFamily, faceName: string}: LOGFONT) =
281 w8ToW32(pitchAndFamilyToW8 (pitch, family)),
419 pitch: TextMetricPitch list, family: FontFamily, charSet : CharacterSet }
445 val family = toFamily(Word8.andb(pitchAndFamily, 0wxf0)) value
455 family = family, pitch = pitch, charSet = charsetFromW8 charSet
/seL4-l4v-10.1.1/seL4/src/plat/pc99/machine/
H A Dhardware.c97 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID) {
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/
H A Dgraphview.scala108 val family = options.string("graphview_font_family")
110 new Font(family, Font.PLAIN, size)
/seL4-l4v-10.1.1/l4v/isabelle/src/Tools/Graphview/
H A Dgraphview.scala108 val family = options.string("graphview_font_family")
110 new Font(family, Font.PLAIN, size)
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DUnixSock.sml52 NONE => raise OS.SysErr("Missing address family", NONE)
H A DINetSock.sml60 NONE => raise OS.SysErr("Missing address family", NONE)
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/
H A Damba_apbScript.sml16 (* note: psel_x is a family signals, where x identifies the slave, so the x is not bits e.g. psel_2 is a valid signal *)
/seL4-l4v-10.1.1/seL4/include/arch/x86/arch/
H A Dmachine.h58 * * https://software.intel.com/en-us/articles/intel-architecture-and-processor-identification-with-cpuid-model-and-family-numbers
214 uint8_t family, model, stepping, extended_family, extended_model; member in struct:_x86_cpu_identity
222 /* Adjusted and normalized family, model and stepping values as recommended
232 /** To be used by code that wants to know the family/model/stepping/brand of
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/Examples/
H A DmlEdit.sml120 pitch=FIXED_PITCH, family=FF_MODERN, faceName="Courier"}
316 pitch=FIXED_PITCH, family=FF_MODERN, faceName="Courier"}
/seL4-l4v-10.1.1/HOL4/src/portableML/
H A DPortable.sml386 (* Union of a family of sets *)
456 (* Union of a family of sets *)

Completed in 302 milliseconds

12