/* SPDX-License-Identifier: GPL-2.0 */
/*
 * Copyright (C) 2022 Changbin Du <changbin.du@gmail.com>
 */
#ifndef __TRACE_IRQ_H
#define __TRACE_IRQ_H

void __trace_hardirqs_on(void);
void __trace_hardirqs_off(void);

#endif /* __TRACE_IRQ_H */