psb_intel_opregion_fini   28 drivers/gpu/drm/gma500/opregion.h extern void psb_intel_opregion_fini(struct drm_device *dev);
psb_intel_opregion_fini  161 drivers/gpu/drm/gma500/psb_drv.c 		psb_intel_opregion_fini(dev);