/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));
|