diff --git a/include/sbi/sbi_platform.h b/include/sbi/sbi_platform.h index 663ee5c6..82840ae5 100644 --- a/include/sbi/sbi_platform.h +++ b/include/sbi/sbi_platform.h @@ -129,8 +129,6 @@ struct sbi_platform_operations { /** Initialize the platform Message Proxy(MPXY) driver */ int (*mpxy_init)(void); - /** Check if SBI vendor extension is implemented or not */ - bool (*vendor_ext_check)(void); /** platform specific SBI extension implementation provider */ int (*vendor_ext_provider)(long funcid, struct sbi_trap_regs *regs, @@ -570,10 +568,7 @@ static inline int sbi_platform_mpxy_init(const struct sbi_platform *plat) static inline bool sbi_platform_vendor_ext_check( const struct sbi_platform *plat) { - if (plat && sbi_platform_ops(plat)->vendor_ext_check) - return sbi_platform_ops(plat)->vendor_ext_check(); - - return false; + return plat && sbi_platform_ops(plat)->vendor_ext_provider; } /** diff --git a/platform/generic/platform.c b/platform/generic/platform.c index 04448d71..f3072be8 100644 --- a/platform/generic/platform.c +++ b/platform/generic/platform.c @@ -240,11 +240,6 @@ int generic_final_init(bool cold_boot) return 0; } -static bool generic_vendor_ext_check(void) -{ - return !!generic_platform_ops.vendor_ext_provider; -} - int generic_extensions_init(struct sbi_hart_features *hfeatures) { /* Parse the ISA string from FDT and enable the listed extensions */ @@ -340,7 +335,6 @@ struct sbi_platform_operations generic_platform_ops = { .get_tlb_num_entries = generic_tlb_num_entries, .timer_init = fdt_timer_init, .mpxy_init = generic_mpxy_init, - .vendor_ext_check = generic_vendor_ext_check, }; struct sbi_platform platform = {