Home
last modified time | relevance | path

Searched refs:kernel_path (Results 1 – 1 of 1) sorted by relevance

/devicemodel/core/
A Dsw_load_bzimage.c100 static char kernel_path[STR_LEN]; variable
128 strncpy(kernel_path, arg, len + 1); in acrn_parse_kernel()
129 if (check_image(kernel_path, 0, &kernel_size) != 0){ in acrn_parse_kernel()
131 kernel_path); in acrn_parse_kernel()
134 kernel_file_name = kernel_path; in acrn_parse_kernel()
137 pr_notice("SW_LOAD: get kernel path %s\n", kernel_path); in acrn_parse_kernel()
220 fp = fopen(kernel_path, "r"); in acrn_prepare_kernel()
223 kernel_path); in acrn_prepare_kernel()
254 kernel_path, kernel_size, KERNEL_LOAD_OFF(ctx)); in acrn_prepare_kernel()

Completed in 5 milliseconds