Orange Pi5 kernel

Deprecated Linux kernel 5.10.110 for OrangePi 5/5B/5+ boards

‎ 3 Commits 0 Branches 0 Tags

/* 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 */