INVALID_OPT_VAL
uintptr_t device = INVALID_OPT_VAL;
*cntlr = INVALID_OPT_VAL;
if (*cntlr == INVALID_OPT_VAL) {
uintptr_t instance = INVALID_OPT_VAL;