#include <cvmx-ipd-defs.h>
Definition at line 1417 of file cvmx-ipd-defs.h.
Definition at line 1421 of file cvmx-ipd-defs.h.