/*
 * Copyright (c) 2026, Chloe M.
 * Provided under the BSD-3 clause.
 *
 * Description: Platform VAS HAL interface
 * Author:      Chloe M.
 */

#ifndef _HAL_VAS_H_
#define _HAL_VAS_H_ 1

/*
 * This header must define an MMU_VAS structure per
 * architecture.
 */
#include <machine/vas.h>

#endif  /* !_HAL_VAS_H_ */