/seL4-l4v-10.1.1/seL4/src/arch/x86/machine/ |
H A D | cpu_identification.c | 14 /** @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 D | hardware.c | 114 /* 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 D | breakpoint.c | 676 if (modelinfo->family == 15) { 682 if (modelinfo->family == 6) {
|
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/ |
H A D | constrFamiliesLib.sig | 53 (* 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 D | gui.scala | 239 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 D | font_info.scala | 95 sealed case class Font_Info(family: String, size: Float) 97 def font: Font = new Font(family, Font.PLAIN, size.round)
|
H A D | pretty_text_area.scala | 101 SyntaxUtilities.loadStyles(current_font_info.family, current_font_info.size.round)) 109 current_font_info.family, current_font_info.size.round, true)
|
H A D | syntax_style.scala | 84 for ((family, idx) <- Symbol.font_index) 85 new_styles(user_font(idx, i.toByte)) = font_style(style, GUI.imitate_font(_, family))
|
H A D | symbols_dockable.scala | 92 case Some(font_family) => GUI.font(family = font_family, size = font_size)
|
/seL4-l4v-10.1.1/l4v/isabelle/src/Pure/GUI/ |
H A D | gui.scala | 239 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 D | font_info.scala | 95 sealed case class Font_Info(family: String, size: Float) 97 def font: Font = new Font(family, Font.PLAIN, size.round)
|
H A D | pretty_text_area.scala | 101 SyntaxUtilities.loadStyles(current_font_info.family, current_font_info.size.round)) 109 current_font_info.family, current_font_info.size.round, true)
|
H A D | syntax_style.scala | 84 for ((family, idx) <- Symbol.font_index) 85 new_styles(user_font(idx, i.toByte)) = font_style(style, GUI.imitate_font(_, family))
|
H A D | symbols_dockable.scala | 92 case Some(font_family) => GUI.font(family = font_family, size = font_size)
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | FontBase.sml | 71 (* 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 D | Font.sml | 90 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 D | hardware.c | 97 if (model_info->family == IA32_PREFETCHER_COMPATIBLE_FAMILIES_ID) {
|
/seL4-l4v-10.1.1/isabelle/src/Tools/Graphview/ |
H A D | graphview.scala | 108 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 D | graphview.scala | 108 val family = options.string("graphview_font_family") 110 new Font(family, Font.PLAIN, size)
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | UnixSock.sml | 52 NONE => raise OS.SysErr("Missing address family", NONE)
|
H A D | INetSock.sml | 60 NONE => raise OS.SysErr("Missing address family", NONE)
|
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/ |
H A D | amba_apbScript.sml | 16 (* 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 D | machine.h | 58 * * 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 D | mlEdit.sml | 120 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 D | Portable.sml | 386 (* Union of a family of sets *) 456 (* Union of a family of sets *)
|