// File: /workspace/github_cpp_makefile_star2_O1/CMU-SAFARI[P]MQSim/src/ssd/Host_Interface_SATA.cpp
// Function: SSD_Components::Input_Stream_Manager_SATA::Handle_serviced_request(SSD_Components::User_Request*)
inline void Input_Stream_Manager_SATA::Handle_serviced_request(User_Request* request)
	{
		((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Waiting_user_requests.remove(request);
		((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->On_the_fly_requests--;

		DEBUG("** Host Interface: Request #" << request->ID << " is finished")

		//If this is a read request, then the read data should be written to host memory
		if (request->Type == UserRequestType::READ) {
			((Host_Interface_SATA*)host_interface)->request_fetch_unit->Send_read_data(request);
		}

		if (((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Submission_head != ((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Submission_tail) {
			((Host_Interface_SATA*)host_interface)->request_fetch_unit->Fetch_next_request(SATA_STREAM_ID);
			((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->On_the_fly_requests++;
			((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Submission_head++;//Update submission queue head after starting fetch request
			if (((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Submission_head == ncq_depth) {//Circular queue implementation
				((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Submission_head = 0;
			}
		}

		//Check if completion queue is full
		if (((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_head > ((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_tail) {
			//completion queue is full
			if (((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_tail + 1 == ((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_head) {
				((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completed_user_requests.push_back(request);//Wait while the completion queue is full
				return;
			}
		} else if (((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_tail - ((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completion_head
			== ncq_depth - 1) {
			((Input_Stream_SATA*)input_streams[SATA_STREAM_ID])->Completed_user_requests.push_back(request);//Wait while the completion queue is full
			return;
		}

		inform_host_request_completed(request);//Completion queue is not full, so the device can DMA the completion queue entry to the host
		DELETE_REQUEST_NVME(request);
	}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %rbx
pushq %rax
movq %rdi, %rbx
movq %rsp, %r14
movq %rsi, (%r14)
movq 0x10(%rdi), %rax
movq (%rax), %rdi
addq $0x78, %rdi
movq %r14, %rsi
callq 0x36be8
movq 0x10(%rbx), %rax
movq (%rax), %rax
decw 0xc0(%rax)
movq (%r14), %rsi
cmpl $0x0, 0x64(%rsi)
jne 0x455aa
movq 0x8(%rbx), %rax
movq 0x58(%rax), %rdi
movq (%rdi), %rax
callq *0x20(%rax)
movq 0x10(%rbx), %rax
movq (%rax), %rax
movzwl 0x68(%rax), %ecx
cmpw 0x6c(%rax), %cx
je 0x455ef
movq 0x8(%rbx), %rax
movq 0x58(%rax), %rdi
movq (%rdi), %rax
xorl %ebp, %ebp
xorl %esi, %esi
callq *0x10(%rax)
movq 0x10(%rbx), %rax
movq (%rax), %rax
incw 0xc0(%rax)
movl 0x68(%rax), %ecx
incl %ecx
movw %cx, 0x68(%rax)
cmpw 0x28(%rbx), %cx
cmovel %ebp, %ecx
movw %cx, 0x68(%rax)
movq 0x10(%rbx), %rax
movq (%rax), %r14
movzwl 0x6e(%r14), %ecx
movzwl 0x70(%r14), %eax
cmpw %ax, %cx
jbe 0x45609
incl %eax
jmp 0x45611
subl %ecx, %eax
movzwl 0x28(%rbx), %ecx
decl %ecx
cmpl %ecx, %eax
jne 0x45645
leaq 0x90(%r14), %rbx
movl $0x18, %edi
callq 0x73a0
movq (%rsp), %rcx
movq %rcx, 0x10(%rax)
movq %rax, %rdi
movq %rbx, %rsi
callq 0x7060
incq 0xa0(%r14)
jmp 0x456f3
movq (%rsp), %rsi
movq 0x8(%rbx), %rax
movq 0x58(%rax), %rdi
movzwl 0x6a(%r14), %edx
callq 0x444ce
movq 0x10(%rbx), %rax
movq (%rax), %rax
movl 0x70(%rax), %ecx
incl %ecx
movw %cx, 0x70(%rax)
xorl %edx, %edx
cmpw 0x28(%rbx), %cx
cmovnel %ecx, %edx
movw %dx, 0x70(%rax)
movq (%rsp), %rax
movq 0x70(%rax), %rdi
testq %rdi, %rdi
je 0x4568a
callq 0x7370
callq 0x281b4
movq %rax, %rdi
callq 0x28610
testb %al, %al
je 0x456ad
movq (%rsp), %rax
movq 0x78(%rax), %rdi
testq %rdi, %rdi
je 0x456ad
callq 0x7480
movq (%rsp), %rbx
cmpq $0x0, 0x50(%rbx)
jne 0x456fe
testq %rbx, %rbx
je 0x456f3
leaq 0x40(%rbx), %r14
movq (%r14), %rdi
cmpq %r14, %rdi
je 0x456d9
movq (%rdi), %r15
callq 0x7370
movq %r15, %rdi
cmpq %r14, %r15
jne 0x456c9
movq 0x8(%rbx), %rdi
leaq 0x18(%rbx), %rax
cmpq %rax, %rdi
je 0x456eb
callq 0x7370
movq %rbx, %rdi
callq 0x7370
addq $0x8, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
movq 0x298eb(%rip), %rbx     # 0x6eff0
leaq 0x10e9c(%rip), %rsi     # 0x565a8
movq %rbx, %rdi
callq 0x7390
leaq 0x14a37(%rip), %rsi     # 0x5a152
movq %rbx, %rdi
callq 0x7390
movq %rax, %rdi
callq 0x71c0
movq 0x2989e(%rip), %rdi     # 0x6efd0
callq 0x7430
movl $0x1, %edi
callq 0x7440
nop