Searched refs:ACRN_REQUEST_TRP_FAULT (Results 1 – 2 of 2) sorted by relevance
208 vcpu_make_request(vcpu, ACRN_REQUEST_TRP_FAULT); in vcpu_queue_exception()373 if (bitmap_test_and_clear_lock(ACRN_REQUEST_TRP_FAULT, pending_req_bits)) { in acrn_handle_pending_request()
86 #define ACRN_REQUEST_TRP_FAULT 6U macro
Completed in 9 milliseconds