Symbol: __intfptr_t
usr/src/boot/sys/x86/include/_types.h
81
typedef __int64_t __intfptr_t;
usr/src/boot/sys/x86/include/_types.h
88
typedef __int32_t __intfptr_t;