pub const PARAVISOR_VTL0_MEASURED_CONFIG_BASE_PAGE_X64: u64 = 0;
Expand description
The physical page number for where the vtl 0 measured config is stored, x86_64. This address is guaranteed to exist in the guest address space as it is where the ISR table is located at reset.