Error
return codes:
MX_NO_DEV The OS-specific /dev/mx devices are not present.
MX_NO_DRIVER The MX driver does not seem to be loaded.
MX_NO_PERM No permission to access the mx device.
MX_BAD_BAD_BAD Something bad happened with the driver, maybe the
wrong driver. You need to check the kernel log.
MX_ALREADY_INITIALIZED mx_init() has already been called.
MX_NO_RESOURCES Shortage of memory or other system resources.