gerrit.omnirom.org / android_system_update_engine / 680d022b08b1368ddbea970a75ebff7c642f2621 / policy_manager / device_policy_provider.h