Searched refs:invlpg_pcid_handler (Results 1 – 4 of 4) sorted by relevance
58 void invlpg_pcid_handler(void);
207 call invlpg_pcid_handler
677 invlpg_pcid_handler(void) in invlpg_pcid_handler() function
504 invlpg_pcid_handler(); in xen_invlpg_pcid_handler()