opensbi.git/include, branch v0.1

include: Add separate header for OpenSBI version

2019-01-25T19:05:49Z

Currently, the OpenSBI version is in top-level Makefile so firmware linking to OpenSBI static library have no-way to know OpenSBI version. This patch moves OpenSBI version from top-level Makefile to sbi/sbi_version.h header which provides OPENSBI_VERSION_MAJOR and OPENSBI_VERSION_MINOR defines. NOTE: the SBI spec (or SBI ecall interface) version is different. The SBI spec version is provided by functions sbi_ecall_version_major() and sbi_ecall_version_minor(). Signed-off-by: Anup Patel

all: Update copyright header in all files

2019-01-24T08:37:47Z

This patch updates copyright header in all files as follows: 1. Makes "SPDX-License-Identifier: BSD-2-Clause" as first line 2. Change copyright year to 2019 for Western Digital Signed-off-by: Anup Patel

include: Use TRUE/FALSE as return values in sbi_platform_hart_disabled()

2019-01-23T03:30:35Z

The sbi_platform_hart_disabled() returns bool hence explicitly return TRUE or FALSE instead of 1 or 0. Signed-off-by: Anup Patel

include: Rename ipi_inject() to ipi_send() for sbi_platform

2019-01-23T03:09:26Z

For better naming, we rename ipi_inject() to ipi_send() in struct sbi_platform. We also replace term "inject" with "send" in all related places. Signed-off-by: Anup Patel

include: Drop MMIO from SBI_PLATFORM_HAS_MMIO_TIMER_VALUE

2019-01-23T03:09:26Z

It is not necessary that platform has MMIO-based timer value register. It can also have some custom (implementation specific) CSR for timer value. This patch renames SBI_PLATFORM_HAS_MMIO_TIMER_VALUE to SBI_PLATFORM_HAS_TIMER_VALUE to imply "platform timer value" instead of "mmio timer value". Signed-off-by: Anup Patel

include: Update documentation of sbi_platform after callback cleanup

2019-01-23T03:09:26Z

The prototypes of sbi_platform callbacks have changed hence we update related documentation. Signed-off-by: Anup Patel

lib: Remove target_hart and hartid parameter from TIMER callbacks

2019-01-23T03:09:26Z

The target_hart and hartid paramter of TIMER callbacks is not required because it always current hartid which can be obtained using sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove hartid parameter from IRQCHIP callbacks

2019-01-23T03:09:26Z

The hartid parameter in IRQCHIP callbacks of sbi_platform is not required because current hartid can be determined using sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove source_hart and hartid parameter from IPI callbacks

2019-01-23T03:09:26Z

The source_hart and hartid parameter is really not required in IPI callbacks of sbi_platform because current hartid can always be obtained by calling sbi_current_hartid() API. Signed-off-by: Anup Patel

lib: Remove hartid paramter from early_init() and final_init() callbacks

2019-01-23T03:09:26Z

We simplify early_init() and final_init() callbacks of sbi_platform by removing "hartid" parameter. Signed-off-by: Anup Patel