|
@@ -11,7 +11,7 @@
|
|
#define __FDT_HELPER_H__
|
|
#define __FDT_HELPER_H__
|
|
|
|
|
|
#include <sbi/sbi_types.h>
|
|
#include <sbi/sbi_types.h>
|
|
-#include <sbi/sbi_scratch.h>
|
|
|
|
|
|
+#include <sbi/sbi_domain.h>
|
|
|
|
|
|
struct fdt_match {
|
|
struct fdt_match {
|
|
const char *compatible;
|
|
const char *compatible;
|
|
@@ -109,7 +109,7 @@ int fdt_parse_compat_addr(void *fdt, uint64_t *addr,
|
|
|
|
|
|
static inline void *fdt_get_address(void)
|
|
static inline void *fdt_get_address(void)
|
|
{
|
|
{
|
|
- return sbi_scratch_thishart_arg1_ptr();
|
|
|
|
|
|
+ return (void *)root.next_arg1;
|
|
}
|
|
}
|
|
|
|
|
|
#endif /* __FDT_HELPER_H__ */
|
|
#endif /* __FDT_HELPER_H__ */
|