Symbol: __u_register_t
usr/src/boot/sys/x86/include/_types.h
129
typedef __uint64_t __u_register_t;
usr/src/boot/sys/x86/include/_types.h
134
typedef __uint32_t __u_register_t;