diff --git a/arch/x86_64/src/intel64/intel64_handlers.c b/arch/x86_64/src/intel64/intel64_handlers.c index aca4e7981c5..2e3d1820ede 100644 --- a/arch/x86_64/src/intel64/intel64_handlers.c +++ b/arch/x86_64/src/intel64/intel64_handlers.c @@ -190,6 +190,7 @@ uint64_t *irq_handler(uint64_t *regs, uint64_t irq_no) * ****************************************************************************/ +nosanitize_address uint64_t *irq_xcp_regs(void) { /* This must be the simplest as possible, so we not use too much registers.