object_mgr_invalidate_handle1
(void) object_mgr_invalidate_handle1(handle);
(void) object_mgr_invalidate_handle1(handle);
(void) object_mgr_invalidate_handle1(handle);
(void) object_mgr_invalidate_handle1(handle);
CK_BBOOL object_mgr_invalidate_handle1(CK_OBJECT_HANDLE handle);