kernel::elf::uintptr_t [−] [src]

type uintptr_t = uint64_t;