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