Searched defs:kernel_start_addr (Results 1 – 2 of 2) sorted by relevance
55 uint64 kernel_start_addr = 1; field
88 uint64_t kernel_start_addr = 0; member522 void ModifyBranchMapForKernel(Dso* dso, uint64_t kernel_start_addr, in ModifyBranchMapForKernel()