Skip to content

Commit

Permalink
Remove warnings about pinning for now
Browse files Browse the repository at this point in the history
  • Loading branch information
udesou committed Feb 28, 2024
1 parent cd89045 commit 57710c7
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions mmtk/src/api.rs
Original file line number Diff line number Diff line change
Expand Up @@ -495,7 +495,7 @@ pub extern "C" fn mmtk_pin_object(object: ObjectReference) -> bool {
if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
memory_manager::pin_object::<JuliaVM>(object)
} else {
warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
// warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
false
}
}
Expand All @@ -506,7 +506,7 @@ pub extern "C" fn mmtk_unpin_object(object: ObjectReference) -> bool {
if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
memory_manager::unpin_object::<JuliaVM>(object)
} else {
warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
// warn!("Object is not managed by mmtk - (un)pinning it via this function isn't supported.");
false
}
}
Expand All @@ -517,7 +517,7 @@ pub extern "C" fn mmtk_is_pinned(object: ObjectReference) -> bool {
if mmtk_object_is_managed_by_mmtk(object.to_raw_address().as_usize()) {
memory_manager::is_pinned::<JuliaVM>(object)
} else {
warn!("Object is not managed by mmtk - checking via this function isn't supported.");
// warn!("Object is not managed by mmtk - checking via this function isn't supported.");
false
}
}
Expand Down

0 comments on commit 57710c7

Please sign in to comment.