Searched refs:invlpg_pcid_handler (Results 1 – 4 of 4) sorted by relevance
57 void invlpg_pcid_handler(void);
207 call invlpg_pcid_handler
622 invlpg_pcid_handler(void) in invlpg_pcid_handler() function
464 invlpg_pcid_handler(); in xen_invlpg_pcid_handler()