blob: 27da53ecea7a2636bc334fb74fd34945c35472a2 [file] [log] [blame]
/*
* Copyright 2017, Data61, CSIRO (ABN 41 687 119 230)
*
* SPDX-License-Identifier: BSD-2-Clause
*/
#pragma once
#include <vspace/arch/page.h>