Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions arch/x86/core/multiboot.c
Original file line number Diff line number Diff line change
Expand Up @@ -100,6 +100,7 @@ void z_multiboot_init(struct multiboot_info *info_pa)
break;
default:
type = X86_MEMMAP_ENTRY_UNKNOWN;
break;
}

x86_memmap[index].type = type;
Expand Down
1 change: 1 addition & 0 deletions arch/x86/core/x86_mmu.c
Original file line number Diff line number Diff line change
Expand Up @@ -1267,6 +1267,7 @@ static pentry_t flags_to_entry(uint32_t flags)
break;
default:
__ASSERT(false, "bad memory mapping flags 0x%x", flags);
break;
}

if ((flags & K_MEM_PERM_RW) != 0U) {
Expand Down
462 changes: 462 additions & 0 deletions cmake/sca/eclair/ECL/deviations.ecl

Large diffs are not rendered by default.

1 change: 1 addition & 0 deletions cmake/sca/eclair/ECL/zephyr_common_config.ecl
Original file line number Diff line number Diff line change
Expand Up @@ -101,6 +101,7 @@

-eval_file=adopted_code.ecl
-eval_file=adopted_deviations.ecl
-eval_file=deviations.ecl

-doc="Hide reports marked as compliant."
-remap_rtag={compliant,hide}
Expand Down
2 changes: 1 addition & 1 deletion drivers/serial/uart_cmsdk_apb.c
Original file line number Diff line number Diff line change
Expand Up @@ -450,7 +450,7 @@ static void uart_cmsdk_apb_irq_callback_set(const struct device *dev,
*
* @param arg argument to interrupt service routine.
*/
void uart_cmsdk_apb_isr(const struct device *dev)
static void uart_cmsdk_apb_isr(const struct device *dev)
{
struct uart_cmsdk_apb_dev_data *data = dev->data;

Expand Down
1 change: 1 addition & 0 deletions include/zephyr/arch/arm/mpu/arm_mpu_v7m.h
Original file line number Diff line number Diff line change
Expand Up @@ -224,6 +224,7 @@ typedef struct {
break; \
default: \
__is_writable__ = 0; \
break; \
} \
__is_writable__; \
})
Expand Down
1 change: 0 additions & 1 deletion kernel/include/kswap.h
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,6 @@ static inline void z_swap_unlocked(void)

#else /* !CONFIG_USE_SWITCH */

extern int arch_swap(unsigned int key);

static inline void z_sched_switch_spin(struct k_thread *thread)
{
Expand Down
1 change: 1 addition & 0 deletions lib/os/cbprintf_complete.c
Original file line number Diff line number Diff line change
Expand Up @@ -360,6 +360,7 @@ static inline const char *extract_flags(struct conversion *conv,
break;
default:
loop = false;
break;
}
if (loop) {
++sp;
Expand Down
1 change: 1 addition & 0 deletions subsys/testsuite/ztest/src/ztest.c
Original file line number Diff line number Diff line change
Expand Up @@ -604,6 +604,7 @@ void ztest_test_pass(void)
if (cur_phase == TEST_PHASE_BEFORE) {
test_finalize();
}
break;
}
}
EXPORT_SYMBOL(ztest_test_pass);
Expand Down