1 /* SPDX-License-Identifier: GPL-2.0 WITH Linux-syscall-note */ 2 /* 3 * 4 * (C) COPYRIGHT 2016, 2020-2021 ARM Limited. All rights reserved. 5 * 6 * This program is free software and is provided to you under the terms of the 7 * GNU General Public License version 2 as published by the Free Software 8 * Foundation, and any use by you of this program is subject to the terms 9 * of such GNU license. 10 * 11 * This program is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with this program; if not, you can access it online at 18 * http://www.gnu.org/licenses/gpl-2.0.html. 19 * 20 */ 21 22 #ifndef _KBASE_AS_FAULT_DEBUG_FS_H 23 #define _KBASE_AS_FAULT_DEBUG_FS_H 24 25 /** 26 * kbase_as_fault_debugfs_init() - Add debugfs files for reporting page faults 27 * 28 * @kbdev: Pointer to kbase_device 29 */ 30 void kbase_as_fault_debugfs_init(struct kbase_device *kbdev); 31 32 /** 33 * kbase_as_fault_debugfs_new() - make the last fault available on debugfs 34 * 35 * @kbdev: Pointer to kbase_device 36 * @as_no: The address space the fault occurred on 37 */ 38 static inline void kbase_as_fault_debugfs_new(struct kbase_device * kbdev,int as_no)39kbase_as_fault_debugfs_new(struct kbase_device *kbdev, int as_no) 40 { 41 #if IS_ENABLED(CONFIG_DEBUG_FS) 42 #ifdef CONFIG_MALI_BIFROST_DEBUG 43 kbdev->debugfs_as_read_bitmap |= (1ULL << as_no); 44 #endif /* CONFIG_DEBUG_FS */ 45 #endif /* CONFIG_MALI_BIFROST_DEBUG */ 46 } 47 48 #endif /*_KBASE_AS_FAULT_DEBUG_FS_H*/ 49