Searched refs:invvpid_error (Results 1 – 2 of 2) sorted by relevance
17 void invvpid_error(unsigned long ext, u16 vpid, gva_t gva);
473 noinline void invvpid_error(unsigned long ext, u16 vpid, gva_t gva) in invvpid_error() function