kernel::elf::intptr_t [−] [src]

type intptr_t = int64_t;