Searched refs:INITIAL_VMSA_GPA (Results 1 – 1 of 1) sorted by relevance
80 #define INITIAL_VMSA_GPA 0xFFFFFFFFF000 macro2464 ret = rmp_make_private(pfn, INITIAL_VMSA_GPA, PG_LEVEL_4K, sev->asid, true); in snp_launch_update_vmsa()