Searched refs:get_invvpid_ept_operands (Results 1 – 3 of 3) sorted by relevance
319 int64_t get_invvpid_ept_operands(struct acrn_vcpu *vcpu, void *desc, size_t size);
500 type = get_invvpid_ept_operands(vcpu, (void *)&operand_gla_ept, sizeof(operand_gla_ept)); in invept_vmexit_handler()
1549 int64_t get_invvpid_ept_operands(struct acrn_vcpu *vcpu, void *desc, size_t size) in get_invvpid_ept_operands() function1592 type = get_invvpid_ept_operands(vcpu, (void *)&desc, sizeof(desc)); in invvpid_vmexit_handler()
Completed in 9 milliseconds