This repository has been archived by the owner on Sep 4, 2024. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixes an unchecked failure in `acquire_map_read()` caused when a caller fails to call `acquire_unmap_read()` at the right time. For example: ```c acquire_map_read(runtime,0,&beg,&end); // When end>beg acquire_map_read(runtime,0,beg,end); // Should return AcquireStatus_Error ``` whereas ```c acquire_map_read(runtime,0,&beg,&end); // When end>beg acquire_unmap_read(runtime,0,&beg,&end); acquire_map_read(runtime,0,beg,end); // Should return AcquireStatus_Ok ``` acquire-project/acquire-driver-common#34 depends on this
- Loading branch information