// SPDX-License-Identifier: GPL-2.0


#ifndef __LINUX_ORBVM_CORE_H
#define __LINUX_ORBVM_CORE_H

#include <linux/types.h>

// layout:
// top 1 bit: 1 if present; 0 if not (e.g. skipped)
// upper 11 bits: order of the page
// lower 52 bits: physical address (can be resolved back to struct page)
typedef u64 prdesc_t;

#define ORBVM_UNREPORT_CAPACITY 4096

#endif 
