review: Modify based on the feedback.

Temporary use to code viewing and subsequent rebase to other commits

Signed-off-by: Xiaoxu Zeng <zengxiaoxu@huawei.com>

core/arch/arm/include/arm64.h

@@ -288,6 +288,11 @@ static inline __noprof void dsb_ishst(void)
 	asm volatile ("dsb ishst" : : : "memory");
 }
 
+static inline __noprof void dsb_osh(void)
+{
+	asm volatile ("dsb osh" : : : "memory");
+}
+
 static inline __noprof void sev(void)
 {
 	asm volatile ("sev" : : : "memory");

core/arch/arm/plat-d06/main.c

@@ -4,11 +4,11 @@
  * Copyright (c) 2022, Huawei Technologies Co., Ltd
  */
 #include <console.h>
+#include <drivers/gic.h>
 #include <drivers/lpc_uart.h>
-#include <platform_config.h>
 #include <kernel/boot.h>
-#include <drivers/gic.h>
 #include <kernel/interrupt.h>
+#include <platform_config.h>
 
 static struct lpc_uart_data console_data __nex_bss;
 static struct  gic_data gic_data __nex_bss;