Searched refs:invlrng_pcid_handler (Results 1 – 4 of 4) sorted by relevance
59 void invlrng_pcid_handler(void);
222 call invlrng_pcid_handler
682 invlrng_pcid_handler(void) in invlrng_pcid_handler() function
480 invlrng_pcid_handler(); in xen_invlrng_pcid_handler()