Did you mean (for linux):vprintk_emit
Your search defs:vprintk_nmi did not match any files. Suggestions: