Searched defs:kernel_start_addr (Results 1 – 2 of 2) sorted by relevance
74 uint64 kernel_start_addr = 1; field
35 uint64_t kernel_start_addr = 0; member