#include <cvmx-ipd-defs.h>
Definition at line 1125 of file cvmx-ipd-defs.h.
Definition at line 1129 of file cvmx-ipd-defs.h.