Lines Matching defs:helper_vmexit
1771 helper_vmexit(SVM_EXIT_SHUTDOWN, 0); /* does not return */
6366 void helper_vmexit(uint32_t exit_code, uint64_t exit_info_1)
6703 helper_vmexit(type, param);
6708 helper_vmexit(type, param);
6713 helper_vmexit(type, param);
6718 helper_vmexit(type, param);
6723 helper_vmexit(type, param);
6747 helper_vmexit(type, param);
6753 helper_vmexit(type, param);
6758 helper_vmexit(type, param);
6778 helper_vmexit(SVM_EXIT_IOIO, param | (port << 16));
6784 void helper_vmexit(uint32_t exit_code, uint64_t exit_info_1)