Searched defs:uint32 (Results 1 - 2 of 2) sorted by relevance
| /barrelfish-master/usr/eclipseclp/Shm/src/ | ||
| H A D | memman.h | 57 typedef unsigned int uint32; typedef |
| /barrelfish-master/usr/eclipseclp/Kernel/src/ | ||
| H A D | types.h | 74 typedef unsigned int uint32; typedef |
Completed in 83 milliseconds