kernel::elf::Elf64_Addr [−] [src]

type Elf64_Addr = uint64_t;