MAX_ERRNO
return_implies_state("platform_device_add", -MAX_ERRNO, -1, &match_not_added, NULL);
return_implies_state("request_irq", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
return_implies_state("register_netdev", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
return_implies_state("misc_register", -MAX_ERRNO, -1, &request_denied, INT_PTR(0));
#define IS_ERR(ptr) (((uintptr_t)ptr) >= (uintptr_t)-MAX_ERRNO)