Nullability check for eventfd module
Bugs: b/245972273 Test: None Change-Id: I5a74318850f3e49dd9d78180476e2a9d76853606
This commit is contained in:
parent
475275b3ec
commit
9729c193cb
|
@ -62,7 +62,7 @@ typedef uint64_t eventfd_t;
|
||||||
*
|
*
|
||||||
* Returns 0 on success, or returns -1 otherwise.
|
* Returns 0 on success, or returns -1 otherwise.
|
||||||
*/
|
*/
|
||||||
int eventfd_read(int __fd, eventfd_t* __value);
|
int eventfd_read(int __fd, eventfd_t* _Nonnull __value);
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* [eventfd_write(3)](http://man7.org/linux/man-pages/man2/eventfd.2.html) is a convenience
|
* [eventfd_write(3)](http://man7.org/linux/man-pages/man2/eventfd.2.html) is a convenience
|
||||||
|
|
Loading…
Reference in New Issue