Searched refs:input_pg (Results 1 – 1 of 1) sorted by relevance
217 void *input_pg = NULL; in hv_cpu_die() local221 input_pg = *input_arg; in hv_cpu_die()224 free_page((unsigned long)input_pg); in hv_cpu_die()