Searched defs:control_code_buffer (Results 1 – 1 of 1) sorted by relevance
35 void *control_code_buffer = NULL; in machine_kexec_prepare() local188 void *control_code_buffer = page_address(image->control_code_page); in machine_kexec() local