defs_x86_64.h

 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
12typedef u64 pt_vaddr_t;
13typedef u64 pt_oaddr_t;
14
15struct 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