lib: sbi: Add sbi_domain_check_addr_range() function
authorAnup Patel <apatel@ventanamicro.com>
Wed, 23 Nov 2022 06:16:16 +0000 (11:46 +0530)
committerAnup Patel <anup@brainfault.org>
Fri, 10 Feb 2023 03:44:58 +0000 (09:14 +0530)
commiteab48c33a12d5cdb01e36d0078c9f79764055952
tree40f5d70ba7aeb0efb067a8b7a31afcbd3a2dcc45
parent4e0572f57bc832b13f6e813dcdaebb1bf4d1172a
lib: sbi: Add sbi_domain_check_addr_range() function

We add sbi_domain_check_addr_range() helper function to check
whether a given address range is accessible under a particular
domain.

Signed-off-by: Anup Patel <apatel@ventanamicro.com>
Reviewed-by: Atish Patra <atishp@rivosinc.com>
Reviewed-by: Xiang W <wxjstz@126.com>
Reviewed-by: Bin Meng <bmeng@tinylab.org>
Reviewed-by: Andrew Jones <ajones@ventanamicro.com>
include/sbi/sbi_domain.h
lib/sbi/sbi_domain.c