/* Finalizes a handled event TRB by advancing our dequeue pointer and giving the TRB back to the hardware for recycling. Must call this exactly once at the end of each event handler, and not touch the TRB again afterwards. */
void xhci_acknowledge_event(struct xhci_ctrl *ctrl)
/* Finalizes a handled event TRB by advancing our dequeue pointer and giving the TRB back to the hardware for recycling. Must call this exactly once at the end of each event handler, and not touch the TRB again afterwards. */
void xhci_acknowledge_event(struct xhci_ctrl *ctrl)
{
	inc_deq(ctrl, ctrl->event_ring);
	xhci_writeq(&ctrl->ir_set->erst_dequeue,
		(uintptr_t)ctrl->event_ring->dequeue | ERST_EHB);
}