Searched refs:kernel_entry (Results 1 – 1 of 1) sorted by relevance
78 uint64_t kernel_entry, kernel_low, kernel_high; in android_load_kernel() local87 (uint64_t *)&kernel_entry, (uint64_t *)&kernel_low, in android_load_kernel()92 env->active_tc.PC = (int32_t)kernel_entry; in android_load_kernel()