headers/private/kernel/arch/arm64/arch_int.h

50

#define arch_int_restore_interrupts(status) \

headers/private/kernel/arch/riscv64/arch_int.h

54

#define arch_int_restore_interrupts(status) \

headers/private/kernel/arch/sparc/arch_int.h

69

#define arch_int_restore_interrupts(status) \

headers/private/kernel/arch/x86/arch_int.h

62

#define arch_int_restore_interrupts(status) \

src/system/kernel/arch/riscv64/arch_int.cpp

384

#undef arch_int_restore_interrupts

src/system/kernel/arch/riscv64/arch_int.cpp

403

arch_int_restore_interrupts(int oldState)

src/system/kernel/arch/x86/arch_int.cpp

416

#undef arch_int_restore_interrupts

src/system/kernel/arch/x86/arch_int.cpp

435

arch_int_restore_interrupts(int oldState)