platform_rev_id    95 drivers/gpu/drm/gma500/mid_bios.c 	uint32_t platform_rev_id = 0;
platform_rev_id   104 drivers/gpu/drm/gma500/mid_bios.c 	pci_read_config_dword(pci_gfx_root, 0x08, &platform_rev_id);
platform_rev_id   105 drivers/gpu/drm/gma500/mid_bios.c 	dev_priv->platform_rev_id = (uint8_t) platform_rev_id;
platform_rev_id   108 drivers/gpu/drm/gma500/mid_bios.c 					dev_priv->platform_rev_id);
platform_rev_id   494 drivers/gpu/drm/gma500/psb_drv.h 	uint8_t platform_rev_id;