#include <lib/dvb_ci/dvbci_resmgr.h>
int eDVBCIResourceManagerSession::receivedAPDU(const unsigned char *tag,const void *data, int len)
{
#include <lib/dvb_ci/dvbci_resmgr.h>
int eDVBCIResourceManagerSession::receivedAPDU(const unsigned char *tag,const void *data, int len)
{