aboutsummaryrefslogtreecommitdiffstats
path: root/roms/opensbi/include/sbi/sbi_platform.h
diff options
context:
space:
mode:
Diffstat (limited to 'roms/opensbi/include/sbi/sbi_platform.h')
-rw-r--r--roms/opensbi/include/sbi/sbi_platform.h757
1 files changed, 757 insertions, 0 deletions
diff --git a/roms/opensbi/include/sbi/sbi_platform.h b/roms/opensbi/include/sbi/sbi_platform.h
new file mode 100644
index 000000000..cc7e3ff99
--- /dev/null
+++ b/roms/opensbi/include/sbi/sbi_platform.h
@@ -0,0 +1,757 @@
+/*
+ * SPDX-License-Identifier: BSD-2-Clause
+ *
+ * Copyright (c) 2019 Western Digital Corporation or its affiliates.
+ *
+ * Authors:
+ * Anup Patel <anup.patel@wdc.com>
+ */
+
+#ifndef __SBI_PLATFORM_H__
+#define __SBI_PLATFORM_H__
+
+/**
+ * OpenSBI 32-bit platform version with:
+ * 1. upper 16-bits as major number
+ * 2. lower 16-bits as minor number
+ */
+#define SBI_PLATFORM_VERSION(Major, Minor) ((Major << 16) | Minor)
+
+/** Offset of opensbi_version in struct sbi_platform */
+#define SBI_PLATFORM_OPENSBI_VERSION_OFFSET (0x00)
+/** Offset of platform_version in struct sbi_platform */
+#define SBI_PLATFORM_VERSION_OFFSET (0x04)
+/** Offset of name in struct sbi_platform */
+#define SBI_PLATFORM_NAME_OFFSET (0x08)
+/** Offset of features in struct sbi_platform */
+#define SBI_PLATFORM_FEATURES_OFFSET (0x48)
+/** Offset of hart_count in struct sbi_platform */
+#define SBI_PLATFORM_HART_COUNT_OFFSET (0x50)
+/** Offset of hart_stack_size in struct sbi_platform */
+#define SBI_PLATFORM_HART_STACK_SIZE_OFFSET (0x54)
+/** Offset of platform_ops_addr in struct sbi_platform */
+#define SBI_PLATFORM_OPS_OFFSET (0x58)
+/** Offset of firmware_context in struct sbi_platform */
+#define SBI_PLATFORM_FIRMWARE_CONTEXT_OFFSET (0x58 + __SIZEOF_POINTER__)
+/** Offset of hart_index2id in struct sbi_platform */
+#define SBI_PLATFORM_HART_INDEX2ID_OFFSET (0x58 + (__SIZEOF_POINTER__ * 2))
+
+#define SBI_PLATFORM_TLB_RANGE_FLUSH_LIMIT_DEFAULT (1UL << 12)
+
+#ifndef __ASSEMBLY__
+
+#include <sbi/sbi_ecall_interface.h>
+#include <sbi/sbi_error.h>
+#include <sbi/sbi_scratch.h>
+#include <sbi/sbi_version.h>
+
+struct sbi_domain_memregion;
+struct sbi_trap_info;
+struct sbi_trap_regs;
+
+/** Possible feature flags of a platform */
+enum sbi_platform_features {
+ /** Platform has timer value */
+ SBI_PLATFORM_HAS_TIMER_VALUE = (1 << 0),
+ /** Platform has HART hotplug support */
+ SBI_PLATFORM_HAS_HART_HOTPLUG = (1 << 1),
+ /** Platform has fault delegation support */
+ SBI_PLATFORM_HAS_MFAULTS_DELEGATION = (1 << 2),
+ /** Platform has custom secondary hart booting support */
+ SBI_PLATFORM_HAS_HART_SECONDARY_BOOT = (1 << 3),
+
+ /** Last index of Platform features*/
+ SBI_PLATFORM_HAS_LAST_FEATURE = SBI_PLATFORM_HAS_HART_SECONDARY_BOOT,
+};
+
+/** Default feature set for a platform */
+#define SBI_PLATFORM_DEFAULT_FEATURES \
+ (SBI_PLATFORM_HAS_TIMER_VALUE | SBI_PLATFORM_HAS_MFAULTS_DELEGATION)
+
+/** Platform functions */
+struct sbi_platform_operations {
+ /** Platform early initialization */
+ int (*early_init)(bool cold_boot);
+ /** Platform final initialization */
+ int (*final_init)(bool cold_boot);
+
+ /** Platform early exit */
+ void (*early_exit)(void);
+ /** Platform final exit */
+ void (*final_exit)(void);
+
+ /**
+ * For platforms that do not implement misa, non-standard
+ * methods are needed to determine cpu extension.
+ */
+ int (*misa_check_extension)(char ext);
+
+ /**
+ * For platforms that do not implement misa, non-standard
+ * methods are needed to get MXL field of misa.
+ */
+ int (*misa_get_xlen)(void);
+
+ /** Get platform specific root domain memory regions */
+ struct sbi_domain_memregion *(*domains_root_regions)(void);
+ /** Initialize (or populate) domains for the platform */
+ int (*domains_init)(void);
+
+ /** Write a character to the platform console output */
+ void (*console_putc)(char ch);
+ /** Read a character from the platform console input */
+ int (*console_getc)(void);
+ /** Initialize the platform console */
+ int (*console_init)(void);
+
+ /** Initialize the platform interrupt controller for current HART */
+ int (*irqchip_init)(bool cold_boot);
+ /** Exit the platform interrupt controller for current HART */
+ void (*irqchip_exit)(void);
+
+ /** Send IPI to a target HART */
+ void (*ipi_send)(u32 target_hart);
+ /** Clear IPI for a target HART */
+ void (*ipi_clear)(u32 target_hart);
+ /** Initialize IPI for current HART */
+ int (*ipi_init)(bool cold_boot);
+ /** Exit IPI for current HART */
+ void (*ipi_exit)(void);
+
+ /** Get tlb flush limit value **/
+ u64 (*get_tlbr_flush_limit)(void);
+
+ /** Get platform timer value */
+ u64 (*timer_value)(void);
+ /** Start platform timer event for current HART */
+ void (*timer_event_start)(u64 next_event);
+ /** Stop platform timer event for current HART */
+ void (*timer_event_stop)(void);
+ /** Initialize platform timer for current HART */
+ int (*timer_init)(bool cold_boot);
+ /** Exit platform timer for current HART */
+ void (*timer_exit)(void);
+
+ /** Bringup the given hart */
+ int (*hart_start)(u32 hartid, ulong saddr);
+ /**
+ * Stop the current hart from running. This call doesn't expect to
+ * return if success.
+ */
+ int (*hart_stop)(void);
+
+ /* Check whether reset type and reason supported by the platform */
+ int (*system_reset_check)(u32 reset_type, u32 reset_reason);
+ /** Reset the platform */
+ void (*system_reset)(u32 reset_type, u32 reset_reason);
+
+ /** platform specific SBI extension implementation probe function */
+ int (*vendor_ext_check)(long extid);
+ /** platform specific SBI extension implementation provider */
+ int (*vendor_ext_provider)(long extid, long funcid,
+ const struct sbi_trap_regs *regs,
+ unsigned long *out_value,
+ struct sbi_trap_info *out_trap);
+};
+
+/** Platform default per-HART stack size for exception/interrupt handling */
+#define SBI_PLATFORM_DEFAULT_HART_STACK_SIZE 8192
+
+/** Representation of a platform */
+struct sbi_platform {
+ /**
+ * OpenSBI version this sbi_platform is based on.
+ * It's a 32-bit value where upper 16-bits are major number
+ * and lower 16-bits are minor number
+ */
+ u32 opensbi_version;
+ /**
+ * OpenSBI platform version released by vendor.
+ * It's a 32-bit value where upper 16-bits are major number
+ * and lower 16-bits are minor number
+ */
+ u32 platform_version;
+ /** Name of the platform */
+ char name[64];
+ /** Supported features */
+ u64 features;
+ /** Total number of HARTs */
+ u32 hart_count;
+ /** Per-HART stack size for exception/interrupt handling */
+ u32 hart_stack_size;
+ /** Pointer to sbi platform operations */
+ unsigned long platform_ops_addr;
+ /** Pointer to system firmware specific context */
+ unsigned long firmware_context;
+ /**
+ * HART index to HART id table
+ *
+ * For used HART index <abc>:
+ * hart_index2id[<abc>] = some HART id
+ * For unused HART index <abc>:
+ * hart_index2id[<abc>] = -1U
+ *
+ * If hart_index2id == NULL then we assume identity mapping
+ * hart_index2id[<abc>] = <abc>
+ *
+ * We have only two restrictions:
+ * 1. HART index < sbi_platform hart_count
+ * 2. HART id < SBI_HARTMASK_MAX_BITS
+ */
+ const u32 *hart_index2id;
+};
+
+/** Get pointer to sbi_platform for sbi_scratch pointer */
+#define sbi_platform_ptr(__s) \
+ ((const struct sbi_platform *)((__s)->platform_addr))
+/** Get pointer to sbi_platform for current HART */
+#define sbi_platform_thishart_ptr() ((const struct sbi_platform *) \
+ (sbi_scratch_thishart_ptr()->platform_addr))
+/** Get pointer to platform_ops_addr from platform pointer **/
+#define sbi_platform_ops(__p) \
+ ((const struct sbi_platform_operations *)(__p)->platform_ops_addr)
+
+/** Check whether the platform supports timer value */
+#define sbi_platform_has_timer_value(__p) \
+ ((__p)->features & SBI_PLATFORM_HAS_TIMER_VALUE)
+/** Check whether the platform supports HART hotplug */
+#define sbi_platform_has_hart_hotplug(__p) \
+ ((__p)->features & SBI_PLATFORM_HAS_HART_HOTPLUG)
+/** Check whether the platform supports fault delegation */
+#define sbi_platform_has_mfaults_delegation(__p) \
+ ((__p)->features & SBI_PLATFORM_HAS_MFAULTS_DELEGATION)
+/** Check whether the platform supports custom secondary hart booting support */
+#define sbi_platform_has_hart_secondary_boot(__p) \
+ ((__p)->features & SBI_PLATFORM_HAS_HART_SECONDARY_BOOT)
+
+/**
+ * Get HART index for the given HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param hartid HART ID
+ *
+ * @return 0 <= value < hart_count for valid HART otherwise -1U
+ */
+u32 sbi_platform_hart_index(const struct sbi_platform *plat, u32 hartid);
+
+/**
+ * Get the platform features in string format
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param features_str pointer to a char array where the features string will be
+ * updated
+ * @param nfstr length of the features_str. The feature string will be truncated
+ * if nfstr is not long enough.
+ */
+void sbi_platform_get_features_str(const struct sbi_platform *plat,
+ char *features_str, int nfstr);
+
+/**
+ * Get name of the platform
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return pointer to platform name on success and "Unknown" on failure
+ */
+static inline const char *sbi_platform_name(const struct sbi_platform *plat)
+{
+ if (plat)
+ return plat->name;
+ return "Unknown";
+}
+
+/**
+ * Get the platform features
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return the features value currently set for the given platform
+ */
+static inline unsigned long sbi_platform_get_features(
+ const struct sbi_platform *plat)
+{
+ if (plat)
+ return plat->features;
+ return 0;
+}
+
+/**
+ * Get platform specific tlb range flush maximum value. Any request with size
+ * higher than this is upgraded to a full flush.
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return tlb range flush limit value. Returns a default (page size) if not
+ * defined by platform.
+ */
+static inline u64 sbi_platform_tlbr_flush_limit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->get_tlbr_flush_limit)
+ return sbi_platform_ops(plat)->get_tlbr_flush_limit();
+ return SBI_PLATFORM_TLB_RANGE_FLUSH_LIMIT_DEFAULT;
+}
+
+/**
+ * Get total number of HARTs supported by the platform
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return total number of HARTs
+ */
+static inline u32 sbi_platform_hart_count(const struct sbi_platform *plat)
+{
+ if (plat)
+ return plat->hart_count;
+ return 0;
+}
+
+/**
+ * Get per-HART stack size for exception/interrupt handling
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return stack size in bytes
+ */
+static inline u32 sbi_platform_hart_stack_size(const struct sbi_platform *plat)
+{
+ if (plat)
+ return plat->hart_stack_size;
+ return 0;
+}
+
+/**
+ * Check whether given HART is invalid
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param hartid HART ID
+ *
+ * @return TRUE if HART is invalid and FALSE otherwise
+ */
+static inline bool sbi_platform_hart_invalid(const struct sbi_platform *plat,
+ u32 hartid)
+{
+ if (!plat)
+ return TRUE;
+ if (plat->hart_count <= sbi_platform_hart_index(plat, hartid))
+ return TRUE;
+ return FALSE;
+}
+
+/**
+ * Bringup a given hart from previous stage. Platform should implement this
+ * operation if they support a custom mechanism to start a hart. Otherwise,
+ * a generic WFI based approach will be used to start/stop a hart in OpenSBI.
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param hartid HART id
+ * @param saddr M-mode start physical address for the HART
+ *
+ * @return 0 if sucessful and negative error code on failure
+ */
+static inline int sbi_platform_hart_start(const struct sbi_platform *plat,
+ u32 hartid, ulong saddr)
+{
+ if (plat && sbi_platform_ops(plat)->hart_start)
+ return sbi_platform_ops(plat)->hart_start(hartid, saddr);
+ return SBI_ENOTSUPP;
+}
+
+/**
+ * Stop the current hart in OpenSBI.
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return Negative error code on failure. It doesn't return on success.
+ */
+static inline int sbi_platform_hart_stop(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->hart_stop)
+ return sbi_platform_ops(plat)->hart_stop();
+ return SBI_ENOTSUPP;
+}
+
+/**
+ * Early initialization for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param cold_boot whether cold boot (TRUE) or warm_boot (FALSE)
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_early_init(const struct sbi_platform *plat,
+ bool cold_boot)
+{
+ if (plat && sbi_platform_ops(plat)->early_init)
+ return sbi_platform_ops(plat)->early_init(cold_boot);
+ return 0;
+}
+
+/**
+ * Final initialization for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param cold_boot whether cold boot (TRUE) or warm_boot (FALSE)
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_final_init(const struct sbi_platform *plat,
+ bool cold_boot)
+{
+ if (plat && sbi_platform_ops(plat)->final_init)
+ return sbi_platform_ops(plat)->final_init(cold_boot);
+ return 0;
+}
+
+/**
+ * Early exit for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_early_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->early_exit)
+ sbi_platform_ops(plat)->early_exit();
+}
+
+/**
+ * Final exit for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_final_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->final_exit)
+ sbi_platform_ops(plat)->final_exit();
+}
+
+/**
+ * Check CPU extension in MISA
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param ext shorthand letter for CPU extensions
+ *
+ * @return zero for not-supported and non-zero for supported
+ */
+static inline int sbi_platform_misa_extension(const struct sbi_platform *plat,
+ char ext)
+{
+ if (plat && sbi_platform_ops(plat)->misa_check_extension)
+ return sbi_platform_ops(plat)->misa_check_extension(ext);
+ return 0;
+}
+
+/**
+ * Get MXL field of MISA
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return 1/2/3 on success and error code on failure
+ */
+static inline int sbi_platform_misa_xlen(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->misa_get_xlen)
+ return sbi_platform_ops(plat)->misa_get_xlen();
+ return -1;
+}
+
+/**
+ * Get platform specific root domain memory regions
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return an array of memory regions terminated by a region with order zero
+ * or NULL for no memory regions
+ */
+static inline struct sbi_domain_memregion *
+sbi_platform_domains_root_regions(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->domains_root_regions)
+ return sbi_platform_ops(plat)->domains_root_regions();
+ return NULL;
+}
+
+/**
+ * Initialize (or populate) domains for the platform
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_domains_init(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->domains_init)
+ return sbi_platform_ops(plat)->domains_init();
+ return 0;
+}
+
+/**
+ * Write a character to the platform console output
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param ch character to write
+ */
+static inline void sbi_platform_console_putc(const struct sbi_platform *plat,
+ char ch)
+{
+ if (plat && sbi_platform_ops(plat)->console_putc)
+ sbi_platform_ops(plat)->console_putc(ch);
+}
+
+/**
+ * Read a character from the platform console input
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return character read from console input
+ */
+static inline int sbi_platform_console_getc(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->console_getc)
+ return sbi_platform_ops(plat)->console_getc();
+ return -1;
+}
+
+/**
+ * Initialize the platform console
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_console_init(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->console_init)
+ return sbi_platform_ops(plat)->console_init();
+ return 0;
+}
+
+/**
+ * Initialize the platform interrupt controller for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param cold_boot whether cold boot (TRUE) or warm_boot (FALSE)
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_irqchip_init(const struct sbi_platform *plat,
+ bool cold_boot)
+{
+ if (plat && sbi_platform_ops(plat)->irqchip_init)
+ return sbi_platform_ops(plat)->irqchip_init(cold_boot);
+ return 0;
+}
+
+/**
+ * Exit the platform interrupt controller for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_irqchip_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->irqchip_exit)
+ sbi_platform_ops(plat)->irqchip_exit();
+}
+
+/**
+ * Send IPI to a target HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param target_hart HART ID of IPI target
+ */
+static inline void sbi_platform_ipi_send(const struct sbi_platform *plat,
+ u32 target_hart)
+{
+ if (plat && sbi_platform_ops(plat)->ipi_send)
+ sbi_platform_ops(plat)->ipi_send(target_hart);
+}
+
+/**
+ * Clear IPI for a target HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param target_hart HART ID of IPI target
+ */
+static inline void sbi_platform_ipi_clear(const struct sbi_platform *plat,
+ u32 target_hart)
+{
+ if (plat && sbi_platform_ops(plat)->ipi_clear)
+ sbi_platform_ops(plat)->ipi_clear(target_hart);
+}
+
+/**
+ * Initialize the platform IPI support for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param cold_boot whether cold boot (TRUE) or warm_boot (FALSE)
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_ipi_init(const struct sbi_platform *plat,
+ bool cold_boot)
+{
+ if (plat && sbi_platform_ops(plat)->ipi_init)
+ return sbi_platform_ops(plat)->ipi_init(cold_boot);
+ return 0;
+}
+
+/**
+ * Exit the platform IPI support for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_ipi_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->ipi_exit)
+ sbi_platform_ops(plat)->ipi_exit();
+}
+
+/**
+ * Get platform timer value
+ *
+ * @param plat pointer to struct sbi_platform
+ *
+ * @return 64-bit timer value
+ */
+static inline u64 sbi_platform_timer_value(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->timer_value)
+ return sbi_platform_ops(plat)->timer_value();
+ return 0;
+}
+
+/**
+ * Start platform timer event for current HART
+ *
+ * @param plat pointer to struct struct sbi_platform
+ * @param next_event timer value when timer event will happen
+ */
+static inline void
+sbi_platform_timer_event_start(const struct sbi_platform *plat, u64 next_event)
+{
+ if (plat && sbi_platform_ops(plat)->timer_event_start)
+ sbi_platform_ops(plat)->timer_event_start(next_event);
+}
+
+/**
+ * Stop platform timer event for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void
+sbi_platform_timer_event_stop(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->timer_event_stop)
+ sbi_platform_ops(plat)->timer_event_stop();
+}
+
+/**
+ * Initialize the platform timer for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param cold_boot whether cold boot (TRUE) or warm_boot (FALSE)
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_timer_init(const struct sbi_platform *plat,
+ bool cold_boot)
+{
+ if (plat && sbi_platform_ops(plat)->timer_init)
+ return sbi_platform_ops(plat)->timer_init(cold_boot);
+ return 0;
+}
+
+/**
+ * Exit the platform timer for current HART
+ *
+ * @param plat pointer to struct sbi_platform
+ */
+static inline void sbi_platform_timer_exit(const struct sbi_platform *plat)
+{
+ if (plat && sbi_platform_ops(plat)->timer_exit)
+ sbi_platform_ops(plat)->timer_exit();
+}
+
+/**
+ * Check whether reset type and reason supported by the platform
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param reset_type type of reset
+ * @param reset_reason reason for reset
+ *
+ * @return 0 if reset type and reason not supported and 1 if supported
+ */
+static inline int sbi_platform_system_reset_check(
+ const struct sbi_platform *plat,
+ u32 reset_type, u32 reset_reason)
+{
+ if (plat && sbi_platform_ops(plat)->system_reset_check)
+ return sbi_platform_ops(plat)->system_reset_check(reset_type,
+ reset_reason);
+ return 0;
+}
+
+/**
+ * Reset the platform
+ *
+ * This function will not return for supported reset type and reset reason
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param reset_type type of reset
+ * @param reset_reason reason for reset
+ */
+static inline void sbi_platform_system_reset(const struct sbi_platform *plat,
+ u32 reset_type, u32 reset_reason)
+{
+ if (plat && sbi_platform_ops(plat)->system_reset)
+ sbi_platform_ops(plat)->system_reset(reset_type, reset_reason);
+}
+
+/**
+ * Check if a vendor extension is implemented or not.
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param extid vendor SBI extension id
+ *
+ * @return 0 if extid is not implemented and 1 if implemented
+ */
+static inline int sbi_platform_vendor_ext_check(const struct sbi_platform *plat,
+ long extid)
+{
+ if (plat && sbi_platform_ops(plat)->vendor_ext_check)
+ return sbi_platform_ops(plat)->vendor_ext_check(extid);
+
+ return 0;
+}
+
+/**
+ * Invoke platform specific vendor SBI extension implementation.
+ *
+ * @param plat pointer to struct sbi_platform
+ * @param extid vendor SBI extension id
+ * @param funcid SBI function id within the extension id
+ * @param regs pointer to trap registers passed by the caller
+ * @param out_value output value that can be filled by the callee
+ * @param out_trap trap info that can be filled by the callee
+ *
+ * @return 0 on success and negative error code on failure
+ */
+static inline int sbi_platform_vendor_ext_provider(
+ const struct sbi_platform *plat,
+ long extid, long funcid,
+ const struct sbi_trap_regs *regs,
+ unsigned long *out_value,
+ struct sbi_trap_info *out_trap)
+{
+ if (plat && sbi_platform_ops(plat)->vendor_ext_provider) {
+ return sbi_platform_ops(plat)->vendor_ext_provider(extid,
+ funcid, regs,
+ out_value,
+ out_trap);
+ }
+
+ return SBI_ENOTSUPP;
+}
+
+#endif
+
+#endif