| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Bitmap.sml | 29 { width: int, height: int, widthBytes: int, planes: int, bitsPerPixel: int,
59 planes: int, bitsPerPixel: int} -> HBITMAP
84 width: int, height: int, planes: int, bitsPerPixel: int,
198 fun CreateBitmap{width, height, planes, bitsPerPixel, bits} =
202 cbm(width, height, planes, bitsPerPixel, vec)
237 width: int, height: int, planes: int, bitsPerPixel: int,
260 val bitsPerPixel = LargeWord.toIntX(PackWord16Little.subVecX(w, 7)) value
268 { width = width, height = height, bitsPerPixel = bitsPerPixel,
294 argument and setting bitsPerPixel t
[all...] |
| H A D | GdiBase.sml | 57 { width: int, height: int, widthBytes: int, planes: int, bitsPerPixel: int,
64 fun storeBmp(v: voidStar, {width, height, widthBytes, planes, bitsPerPixel, bits}: BITMAP) =
68 toCStr(v, (0, width, height, widthBytes, planes, bitsPerPixel, m));
74 val (_, width, height, widthBytes, planes, bitsPerPixel, bits) =
82 bitsPerPixel = bitsPerPixel, bits = bits}
|
| H A D | DeviceBase.sml | 266 bitsPerPixel: int option,
359 val bitsPerPixel = getOpt DM_BITSPERPEL I (getDWord()) value
396 bitsPerPixel = bitsPerPixel,
430 bitsPerPixel: int option,
488 setDWord(setOpt DM_BITSPERPEL I bitsPerPixel);
|
| H A D | DeviceContext.sml | 311 bitsPerPixel: int option,
|
| H A D | MESSAGE.signature.sml | 702 | WM_DISPLAYCHANGE of { bitsPerPixel: int, xScreen: int, yScreen: int }
|
| H A D | Message.sml | 1506 | WM_DISPLAYCHANGE of { bitsPerPixel: int, xScreen: int, yScreen: int }
2027 WM_DISPLAYCHANGE { bitsPerPixel = SysWord.toInt wp, xScreen = loWord lp, yScreen = hiWord lp}
2775 | compileMessage (WM_DISPLAYCHANGE { bitsPerPixel, xScreen, yScreen}) =
2776 (0x007E, SysWord.fromInt bitsPerPixel, makeLong(xScreen, yScreen), noFree)
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/api/ |
| H A D | bootinfo_types.h | 53 seL4_Uint8 bitsPerPixel; member in struct:seL4_VBEInfo12Part1
|
| /seL4-l4v-10.1.1/seL4/libsel4/arch_include/x86/sel4/arch/ |
| H A D | bootinfo_types.h | 53 seL4_Uint8 bitsPerPixel; member in struct:seL4_VBEInfo12Part1
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | xwindows.cpp | 2518 PolyWord bitsPerPixel; /* ML int */ member in struct:__anon90
2555 unsigned bitsPerPixel = get_C_ulong(taskData, I->bitsPerPixel); local
2573 image.bits_per_pixel = bitsPerPixel;
2599 X->bitsPerPixel = DEREFWORD(Make_arbitrary_precision(taskData, image->bits_per_pixel));
|