1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * Copyright (C) 2022 Changbin Du <changbin.du@gmail.com> 4 */ 5 #ifndef __TRACE_IRQ_H 6 #define __TRACE_IRQ_H 7 8 void __trace_hardirqs_on(void); 9 void __trace_hardirqs_off(void); 10 11 #endif /* __TRACE_IRQ_H */ 12