tree 823efb14ec4e7e6c25246d3b4e29e08978142cc1
parent 20f89bd111715643b6fedb17f014900a329e2271
author Debargha Mukherjee <debargha@google.com> 1517426078 -0800
committer Debargha Mukherjee <debargha@google.com> 1517519001 +0000

Misc fixes to build with CONFIG_LOOP_RESTORATION=0

Change-Id: I1e6a8a74d0ca1e6aa01d2da12bd9b19c8307154e