diff options
Diffstat (limited to 'include/sbi/sbi_platform.h')
-rw-r--r-- | include/sbi/sbi_platform.h | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/include/sbi/sbi_platform.h b/include/sbi/sbi_platform.h index 3681a78..58aba71 100644 --- a/include/sbi/sbi_platform.h +++ b/include/sbi/sbi_platform.h @@ -93,8 +93,6 @@ struct sbi_platform_operations { /** Initialize (or populate) domains for the platform */ int (*domains_init)(void); - /** Get domain pointer for given HART id */ - struct sbi_domain *(*domain_get)(u32 hartid); /** Write a character to the platform console output */ void (*console_putc)(char ch); @@ -468,22 +466,6 @@ static inline int sbi_platform_domains_init(const struct sbi_platform *plat) } /** - * Get domain pointer for given HART - * - * @param plat pointer to struct sbi_platform - * @param hartid shorthand letter for CPU extensions - * - * @return non-NULL domain pointer on success and NULL on failure - */ -static inline struct sbi_domain *sbi_platform_domain_get( - const struct sbi_platform *plat, u32 hartid) -{ - if (plat && sbi_platform_ops(plat)->domain_get) - return sbi_platform_ops(plat)->domain_get(hartid); - return NULL; -} - -/** * Write a character to the platform console output * * @param plat pointer to struct sbi_platform |