virtmemRemoveReservation: add forgotten mutex note to docs

This commit is contained in:
fincs 2020-10-31 14:06:48 +01:00
parent 22a3efcbe1
commit 091f88915d
No known key found for this signature in database
GPG Key ID: 62C7609ADA219C60

View File

@ -72,5 +72,6 @@ VirtmemReservation* virtmemAddReservation(void* mem, size_t size);
/**
* @brief Releases a memory address space reservation.
* @param rv Reservation to release.
* @note The virtual memory manager mutex must be held before calling this function (see \ref virtmemLock and \ref virtmemUnlock).
*/
void virtmemRemoveReservation(VirtmemReservation* rv);