#pragma once

#include <stdint.h>

extern uint64_t gSelfProcCap;
extern uint64_t gSelfVmasCap;

extern uint64_t gInitChannelCap;

extern uint64_t gBootDenaliVmmoCap;