#include <lib/dvb/epgcache.h>
#include <lib/dvb/frontendparms.h>
#include <lib/dvb/dvbtime.h>
+#include <lib/dvb/pmt.h>
#include <lib/driver/avswitch.h>
#include <lib/driver/rfmod.h>
+#include <lib/driver/misc_options.h>
#include <lib/driver/etimezone.h>
#include <lib/gdi/lcd.h>
#include <lib/dvb_ci/dvbci_ui.h>
%include <lib/gdi/epoint.h>
%include <lib/gdi/erect.h>
%include <lib/gdi/esize.h>
-%include <lib/gdi/region.h>
%include <lib/gui/ewidget.h>
%include <lib/gui/elabel.h>
%include <lib/gui/einput.h>
%include <lib/dvb/dvb.h>
%include <lib/dvb/idvb.h>
%include <lib/dvb/frontend.h>
+%include <lib/dvb/pmt.h>
%include <lib/driver/avswitch.h>
%include <lib/driver/rfmod.h>
+%include <lib/driver/misc_options.h>
%include <lib/driver/etimezone.h>
%include <lib/gdi/lcd.h>
%include <lib/dvb_ci/dvbci_ui.h>