[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [xen master] xen/arm64: domctl: Avoid unreachable code in subarch_do_domctl()
commit f5ff26da329d46f39bd32aa5b6b8fdf94b1a7606 Author: Julien Grall <jgrall@xxxxxxxxxx> AuthorDate: Mon Oct 23 18:52:20 2023 +0100 Commit: Stefano Stabellini <stefano.stabellini@xxxxxxx> CommitDate: Tue Nov 7 12:38:50 2023 -0800 xen/arm64: domctl: Avoid unreachable code in subarch_do_domctl() The 'break' the XEN_DOMCTL_set_address_size is unreachable and tools like Eclair will report as a violation of Misra Rule 2.1. Furthermore, the nested switch is not very easy to read. So move out the nested switch in a separate function to improve the readability and hopefully address the MISRA violation. Reported-by: Nicola Vetrini <nicola.vetrini@xxxxxxxxxxx> Signed-off-by: Julien Grall <jgrall@xxxxxxxxxx> Reviewed-by: Henry Wang <Henry.Wang@xxxxxxx> Reviewed-by: Bertrand Marquis <bertrand.marquis@xxxxxxx> --- xen/arch/arm/arm64/domctl.c | 34 +++++++++++++++++++--------------- 1 file changed, 19 insertions(+), 15 deletions(-) diff --git a/xen/arch/arm/arm64/domctl.c b/xen/arch/arm/arm64/domctl.c index 14fc622e99..8720d126c9 100644 --- a/xen/arch/arm/arm64/domctl.c +++ b/xen/arch/arm/arm64/domctl.c @@ -33,27 +33,31 @@ static long switch_mode(struct domain *d, enum domain_type type) return 0; } +static long set_address_size(struct domain *d, uint32_t address_size) +{ + switch ( address_size ) + { + case 32: + if ( !cpu_has_el1_32 ) + return -EINVAL; + /* SVE is not supported for 32 bit domain */ + if ( is_sve_domain(d) ) + return -EINVAL; + return switch_mode(d, DOMAIN_32BIT); + case 64: + return switch_mode(d, DOMAIN_64BIT); + default: + return -EINVAL; + } +} + long subarch_do_domctl(struct xen_domctl *domctl, struct domain *d, XEN_GUEST_HANDLE_PARAM(xen_domctl_t) u_domctl) { switch ( domctl->cmd ) { case XEN_DOMCTL_set_address_size: - switch ( domctl->u.address_size.size ) - { - case 32: - if ( !cpu_has_el1_32 ) - return -EINVAL; - /* SVE is not supported for 32 bit domain */ - if ( is_sve_domain(d) ) - return -EINVAL; - return switch_mode(d, DOMAIN_32BIT); - case 64: - return switch_mode(d, DOMAIN_64BIT); - default: - return -EINVAL; - } - break; + return set_address_size(d, domctl->u.address_size.size); default: return -ENOSYS; -- generated by git-patchbot for /home/xen/git/xen.git#master
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |