forked from Mirrors/opensbi

Also remove a superfluous semicolon and add a blank line. Signed-off-by: Andrew Jones <ajones@ventanamicro.com> Reviewed-by: Anup Patel <anup@brainfault.org>
Also remove a superfluous semicolon and add a blank line. Signed-off-by: Andrew Jones <ajones@ventanamicro.com> Reviewed-by: Anup Patel <anup@brainfault.org>