From 46722ff44a979c4674c5668189f631d8f77929fd Mon Sep 17 00:00:00 2001
From: Ronghua Wu <ronghuawu@google.com>
Date: Thu, 5 Mar 2015 09:58:16 -0800
Subject: [PATCH] drm: add event for resource manager.

Bug: 19265536
Change-Id: I524962f84aefae28a8ffd411d1bb6521bedb02a7
---
 include/media/drm/DrmAPI.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/include/media/drm/DrmAPI.h b/include/media/drm/DrmAPI.h
index 49939fda9..6e84ab453 100644
--- a/include/media/drm/DrmAPI.h
+++ b/include/media/drm/DrmAPI.h
@@ -80,7 +80,8 @@ namespace android {
             kDrmPluginEventProvisionRequired = 1,
             kDrmPluginEventKeyNeeded,
             kDrmPluginEventKeyExpired,
-            kDrmPluginEventVendorDefined
+            kDrmPluginEventVendorDefined,
+            kDrmPluginEventSessionReclaimed
         };
 
         // Drm keys can be for offline content or for online streaming.