Did you mean (for linux-6.12.1):kvmppc_set_pid kvmppc_get_pc
Your search defs:kvmppc_get_pid did not match any files. Suggestions: