PMP_DEFAULT_TIMEOUT
#ifndef PMP_DEFAULT_TIMEOUT
static int pmp_default_timeout = PMP_DEFAULT_TIMEOUT;