add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/gpu/drm/r128/r128_irq.c
..
..
@@ -30,8 +30,11 @@
30
30
  *    Eric Anholt <anholt@FreeBSD.org>
31
31
  */
32
32
 
33
-#include <drm/drmP.h>
33
+#include <drm/drm_device.h>
34
+#include <drm/drm_print.h>
35
+#include <drm/drm_vblank.h>
34
36
 #include <drm/r128_drm.h>
37
+
35
38
 #include "r128_drv.h"
36
39
 
37
40
 u32 r128_get_vblank_counter(struct drm_device *dev, unsigned int pipe)