1 /* 2 * Copyright (c) 2023 Institute of Parallel And Distributed Systems (IPADS), Shanghai Jiao Tong University (SJTU) 3 * Licensed under the Mulan PSL v2. 4 * You can use this software according to the terms and conditions of the Mulan PSL v2. 5 * You may obtain a copy of Mulan PSL v2 at: 6 * http://license.coscl.org.cn/MulanPSL2 7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR 8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR 9 * PURPOSE. 10 * See the Mulan PSL v2 for more details. 11 */ 12 #ifndef ARCH_AARCH64_ARCH_TOOLS_H 13 #define ARCH_AARCH64_ARCH_TOOLS_H 14 15 void flush_dcache_area(unsigned long addr, unsigned long size); 16 void enable_irq(void); 17 void disable_irq(void); 18 void enable_uart_irq(int irqno); 19 void uart_irq_handler(void); 20 void put8(unsigned long addr, unsigned char data); 21 unsigned char get8(unsigned long addr); 22 void put32(unsigned long addr, unsigned int data); 23 unsigned int get32(unsigned long addr); 24 25 #endif /* ARCH_AARCH64_ARCH_TOOLS_H */