/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description: AMD64 virtual address space
 * Author:      Chloe M.
 */

#ifndef _MACHINE_VAS_H_
#define _MACHINE_VAS_H_ 1

#include <ptdef.h>

/*
 * Virtual address space for AMD64 processors
 *
 * @Cr3:  Control register 3 value
 */
typedef struct {
    UQUAD Cr3;
} MMU_VAS;

#endif  /* !_MACHINE_VAS_H_ */
