Searched refs:pending_req_bits (Results 1 – 1 of 1) sorted by relevance
358 uint64_t *pending_req_bits, bool injected);365 uint64_t *pending_req_bits = &arch->pending_req; in acrn_handle_pending_request() local367 if (*pending_req_bits != 0UL) { in acrn_handle_pending_request()411 …if ((*pending_req_bits != 0UL) && bitmap_test_and_clear_lock(ACRN_REQUEST_EXCP, pending_req_bits))… in acrn_handle_pending_request()417 if ((*pending_req_bits != 0UL) && in acrn_handle_pending_request()418 bitmap_test_and_clear_lock(ACRN_REQUEST_NMI, pending_req_bits)) { in acrn_handle_pending_request()426 bitmap_set_lock(ACRN_REQUEST_NMI, pending_req_bits); in acrn_handle_pending_request()449 acrn_inject_pending_intr(vcpu, pending_req_bits, injected); in acrn_handle_pending_request()471 if (bitmap_test(ACRN_REQUEST_EXTINT, pending_req_bits) || in acrn_handle_pending_request()472 bitmap_test(ACRN_REQUEST_NMI, pending_req_bits) || in acrn_handle_pending_request()[all …]
Completed in 5 milliseconds