Searched refs:ds_invvpid (Results 1 – 1 of 1) sorted by relevance
3147 static void ds_invvpid(void *data) in ds_invvpid() function3171 fault = test_for_exception(GP_VECTOR, &ds_invvpid, in invvpid_test_gp()3190 fault = test_for_exception(PF_VECTOR, &ds_invvpid, vpage); in invvpid_test_pf()3231 fault = test_for_exception(UD_VECTOR, &ds_invvpid, NULL); in invvpid_test_not_in_vmx_operation()3263 fault = test_for_exception(GP_VECTOR, ds_invvpid, operand); in invvpid_test_lam()