Returns the futex at the given key, or None if it doesn't exist.
(&self, key: PhysAddr)
source not stored for this graph (policy: none)
no test coverage detected