#ifndef KRX_KDK_VMTYPES_H
#define KRX_KDK_VMTYPES_H

#include <stddef.h>
#include <stdint.h>

/*! Physical address. */
typedef uintptr_t paddr_t;
/*! Virtual address. */
typedef uintptr_t vaddr_t;
/*! Virtual offset */
typedef int64_t pgoff_t, voff_t;

#endif /* KRX_KDK_VMTYPES_H */
