libxhcidbg.git
4 years agoFix SPARK warning regarding interfering context
Adrian-Ken Rueegsegger [Mon, 2 Oct 2017 15:58:15 +0000 (17:58 +0200)]
Fix SPARK warning regarding interfering context

The warning fixed by the change is:

 Call to a volatile function in interfering context is not allowed in
 SPARK

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoFix SPARK warning regarding nonvolatile functions
Adrian-Ken Rueegsegger [Mon, 2 Oct 2017 15:56:26 +0000 (17:56 +0200)]
Fix SPARK warning regarding nonvolatile functions

Convert functions to procedures with out parameter. Making them volatile
functions is not an option since this is not legal in SPARK see also
GNAT ticket [QA04-034].

The warning corrected by these changes is:

 Nonvolatile function with effectively volatile parameter is not
 allowed in SPARK

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoDrop unneeded use type clauses
Adrian-Ken Rueegsegger [Wed, 27 Sep 2017 09:29:09 +0000 (11:29 +0200)]
Drop unneeded use type clauses

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoDo not perform hardware reset
Adrian-Ken Rueegsegger [Wed, 10 May 2017 11:59:47 +0000 (13:59 +0200)]
Do not perform hardware reset

The debug capability interface is independent from the "regular"
xHCI interface, so a hardware reset is not necessary. This simplifies
the initialization and triggering potential issues if the reset timeout
is too small for a given hardware platform.

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoREADME: Add remark regarding USB charging mode
Adrian-Ken Rueegsegger [Wed, 10 May 2017 12:20:54 +0000 (14:20 +0200)]
README: Add remark regarding USB charging mode

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoMinor: Avoid null else branch
Adrian-Ken Rueegsegger [Wed, 10 May 2017 12:07:51 +0000 (14:07 +0200)]
Minor: Avoid null else branch

Use conditional pragma Debug to avoid an else branch which is only
necessary for debug output.

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>
4 years agoInitial import of libxhcidbg library
Nico Huber [Fri, 5 May 2017 16:43:12 +0000 (18:43 +0200)]
Initial import of libxhcidbg library

This libxhcidbg library implements support for the xHCI debug capability
as specified in "eXtensible Host Controller Interface for Universal
Serial Bus (xHCI)", revision 1.1, section 7.6.

Signed-off-by: Nico Huber <nico.huber@secunet.com>