Searched defs:kpc_pmi_handler (Results 1 – 2 of 2) sorted by relevance
653 kpc_pmi_handler(void) in kpc_pmi_handler() function
244 kpc_pmi_handler(cpu_id_t source) in kpc_pmi_handler() function