| /barrelfish-master/lib/acpica/source/include/platform/ |
| H A D | achaiku.h | 161 extern int AcpiOsAcquireGlobalLock(uint32 *lock);
162 extern int AcpiOsReleaseGlobalLock(uint32 *lock);
|
| /barrelfish-master/lib/nfs/ |
| H A D | nfs.x | 12 typedef unsigned long uint32;
21 typedef uint32 uid3;
22 typedef uint32 gid3;
25 typedef uint32 mode3;
26 typedef uint32 count3;
71 uint32 specdata1;
72 uint32 specdata2;
80 uint32 seconds;
81 uint32 nseconds;
87 uint32 nlin
[all...] |
| /barrelfish-master/usr/eclipseclp/Kernel/src/ |
| H A D | types.h | 74 typedef unsigned int uint32; typedef
110 uint32 mant1;
111 uint32 mant0;
113 uint32 mant0;
114 uint32 mant1;
196 typedef uint32 aport_handle_t; /* aport_id_t */
273 uint32 rand; /* random generator state */
381 uint32 flags;
414 uint32 flags;
|
| H A D | dict.h | 147 uint32 flags; /* various flags, see below */
556 Extern int pri_compatible_flags ARGS((pri*,uint32,uint32));
557 Extern void pri_change_flags ARGS((pri*,uint32,uint32));
561 Extern int pri_change_mode ARGS((pri*,uint32));
|
| H A D | proc_desc.c | 133 static uint32 _hiding_import(dident,dident,dident*);
555 uint32 conflicts;
727 pri_compatible_flags(pri *pd, uint32 mask, uint32 new)
729 uint32 illegal_change;
764 pri_change_flags(pri *pd, uint32 mask, uint32 new)
867 uint32 new_mode)
1628 static uint32
1874 _define_built_in(dident did1, int (*function) (/* ??? */), word flags, dident mod, uint32 vi
[all...] |
| H A D | bip_misc.c | 142 _fseed(uint32),
238 _fseed((uint32) rand_init);
609 _fseed(uint32 n)
669 _fseed((uint32) v.nint); /* for frandom() */
|
| H A D | code.c | 201 make_function_bip(dident did1, int opc, uint32 flags, uint32 mode, int argdesc, int store_desc)
239 make_test_bip(dident did1, int opc, uint32 flags, uint32 mode, int argdesc, int vis)
|
| H A D | bip_db.c | 787 uint32 new_flags;
992 uint32 flags;
1288 uint32 mode_decl;
2150 uint32 new_flags = 0, changed_flags = 0;
2529 uint32 flags;
2889 flags = (uint32)((vflags.nint & ECO_FLAGS) | (PriFlags(proc) & (DEBUG_SK)));
3274 get_mode(uint32 mode_decl, dident wd)
|
| H A D | bip_module.c | 658 uint32 changed_flags, new_flags;
|
| H A D | io.c | 1168 uint32 key = StreamRand(nst);
1926 uint32 key = StreamRand(nst);
|
| H A D | bip_serialize.c | 1131 Make_Integer(pw, ((word) hi << 32) + (uint32) lo);
|
| H A D | bip_strings.c | 1130 uint32 ch;
|
| H A D | emu_export.h | 172 /* (uint32) cast needed to get rid of sign extension on 64-bit */
173 #define EamPtrEam(peam) ((uint32)(*(uword*)(peam)) >> 1)
|
| H A D | emu_c_env.c | 138 register uint32 i;
|
| /barrelfish-master/include/barrelfish/ |
| H A D | msgbuf.h | 59 DECLARE_PRIM_MARSHALLING(uint32, uint32_t)
|
| /barrelfish-master/usr/eclipseclp/Shm/src/ |
| H A D | memman.h | 57 typedef unsigned int uint32; typedef
119 typedef uint32 bits32;
|
| /barrelfish-master/doc/015-disk-driver-arch/ |
| H A D | xahcid.tex | 26 uint64 offset, out uint32 capabilities);
30 uint32 interrupt_status);
|
| H A D | flounder-ahci.tex | 36 rpc read_dma(in uint32 read_size, in uint32 start_lba,
40 rpc read_dma_block(in uint32 lba, out uint8 buffer[buffer_size]);
43 rpc write_dma(in uint8 buffer[buffer_size], in uint32 lba,
|
| /barrelfish-master/lib/barrelfish/ |
| H A D | msgbuf.c | 282 DEFINE_PRIM_MARSHALLING(uint32, uint32_t)
|
| /barrelfish-master/doc/002-mackerel/ |
| H A D | Mackerel.tex | 675 \texttt{uint16}, \texttt{uint32}, or \texttt{uint64}; or
700 register isr0 ro at (base, 0x0100) "ISR bits 0-31" type(uint32);
747 "IER" type(uint32);
754 "IER" type(uint32);
762 "IER" type(uint32);
1395 \texttt{uint32\_t DP\_SPACE\_read\_32( DN\_t *dev, size\_t offset );}
1400 uint32\_t value );}
1651 with a fixed size, such as \texttt{uint32\_t}.,
1673 \texttt{uint32\_t}.
1735 with a fixed size, such as \texttt{uint32\_
[all...] |
| /barrelfish-master/doc/011-idc/ |
| H A D | IDC.tex | 106 string \> uint8 \> uint16 \> uint32 \> uint64 \> uintptr
368 message basic(uint32 arg);
369 message str(uint32 arg, string s);
370 message caps(uint32 arg, cap cap1, cap cap2);
|
| /barrelfish-master/doc/026-device-queues/ |
| H A D | devif.tex | 785 rpc create_queue(in uint32 slots,
795 in uint32 rid,
798 rpc deregister_region(in uint32 rid,
|
| /barrelfish-master/usr/eclipseclp/documents/internal/kernel/ |
| H A D | kernel.tex | 154 uint32 32-bit unsigned integer
|