1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 /* 3 * Copyright (c) 2024-2025, NVIDIA CORPORATION & AFFILIATES 4 * 5 */ 6 #ifndef __GENERIC_PT_FMT_DEFS_X86_64_H 7 #define __GENERIC_PT_FMT_DEFS_X86_64_H 8 9 #include <linux/generic_pt/common.h> 10 #include <linux/types.h> 11 12 typedef u64 pt_vaddr_t; 13 typedef u64 pt_oaddr_t; 14 15 struct x86_64_pt_write_attrs { 16 u64 descriptor_bits; 17 gfp_t gfp; 18 }; 19 #define pt_write_attrs x86_64_pt_write_attrs 20 21 #endif 22