Searched defs:__uintptr_t (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/include/arch/aarch64/machine/
H A D_types.h80 typedef __uint64_t __uintptr_t; typedef
/barrelfish-master/include/arch/arm/machine/
H A D_types.h92 typedef __uint32_t __uintptr_t; typedef
/barrelfish-master/include/arch/x86_32/machine/
H A D_types.h110 typedef __uint64_t __uintptr_t; typedef
119 typedef __uint32_t __uintptr_t; typedef
/barrelfish-master/include/arch/x86_64/machine/
H A D_types.h110 typedef __uint64_t __uintptr_t; typedef
119 typedef __uint32_t __uintptr_t; typedef

Completed in 307 milliseconds