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
 8void __trace_hardirqs_on(void);
 9void __trace_hardirqs_off(void);
10
11#endif /* __TRACE_IRQ_H */