tree 60a4e864ea4ed683666c886e00f721341fd42cfc
parent 763111633a5f458d53f8a5aade030f2643d4cd5c
author George Kulakowski <kulakowski@google.com> 1506362575 -0700
committer George Kulakowski <kulakowski@google.com> 1506380299 +0000

[kernel][user_ptr] Allow user_ptrs to be copied and assigned

Change-Id: I6bcdebb0604e0b029dbc2a1ff6966644ed40f409