aarch64/vmid.h

Updated: October 28, 2024

Definitions to access a guest's VMID (ARM)