[dev/lib][warnings] fix -Wmissing-declarations warnings in dev/ and lib/

dev/dev.c

@@ -5,8 +5,3 @@
  * license that can be found in the LICENSE file or at
  * https://opensource.org/licenses/MIT
  */
-
-void dev_init(void) {
-
-}
-

dev/interrupt/arm_gic/arm_gic.c

@@ -405,6 +405,7 @@ enum handler_return __platform_irq(struct iframe *frame) {
     return ret;
 }
 
+enum handler_return platform_irq(struct iframe *frame);
 enum handler_return platform_irq(struct iframe *frame) {
 #if WITH_LIB_SM
     uint32_t ahppir = GICREG(0, GICC_AHPPIR);
@@ -447,6 +448,7 @@ enum handler_return platform_irq(struct iframe *frame) {
 #endif
 }
 
+void platform_fiq(struct iframe *frame);
 void platform_fiq(struct iframe *frame) {
 #if WITH_LIB_SM
     sm_handle_fiq();

dev/timer/arm_cortex_a9/arm_cortex_a9_timer.c

@@ -67,7 +67,7 @@ static struct fp_32_64 timer_freq_msec_conversion_inverse;
 
 static void arm_cortex_a9_timer_init_percpu(uint level);
 
-uint64_t get_global_val(void) {
+static uint64_t get_global_val(void) {
     uint32_t lo, hi;
 
 retry:

dev/timer/arm_generic/arm_generic_timer.c

@@ -5,6 +5,7 @@
  * license that can be found in the LICENSE file or at
  * https://opensource.org/licenses/MIT
  */
+#include <dev/timer/arm_generic.h>
 
 #include <arch/ops.h>
 #include <assert.h>

dev/virtio/gpu/virtio-gpu.c

@@ -535,7 +535,7 @@ static int virtio_gpu_flush_thread(void *arg) {
     return 0;
 }
 
-void virtio_gpu_gfx_flush(uint starty, uint endy) {
+static void virtio_gpu_gfx_flush(uint starty, uint endy) {
     event_signal(&the_gdev->flush_event, !arch_ints_disabled());
 }
 

dev/virtio/virtio.c

@@ -380,7 +380,7 @@ void virtio_status_driver_ok(struct virtio_device *dev) {
     dev->mmio_config->status |= VIRTIO_STATUS_DRIVER_OK;
 }
 
-void virtio_init(uint level) {
+static void virtio_init(uint level) {
 }
 
 LK_INIT_HOOK(virtio, &virtio_init, LK_INIT_LEVEL_THREADING);