https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=236513

--- Comment #36 from John Baldwin <[email protected]> ---
It may be that we need to fix the RF_SHAREABLE to propagate up when the
resource is first allocated by resource_list_reserve, etc.  That might fix this
without requiring the BIOS to be patched.  I haven't looked to see what that
would involve though.

-- 
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-bugs
To unsubscribe, send any mail to "[email protected]"

Reply via email to