snp_lookup_rmpentry
int snp_lookup_rmpentry(u64 pfn, bool *assigned, int *level);
ret = snp_lookup_rmpentry((u64)pfn, &assigned, &level);
ret = snp_lookup_rmpentry(pfn, &assigned, &rmp_level);
if (!snp_lookup_rmpentry(pfn, &assigned, &rmp_level) &&
ret = snp_lookup_rmpentry(pfn, &assigned, &rmp_level);
rc = snp_lookup_rmpentry(pfn, &assigned, &level);
rc = snp_lookup_rmpentry(pfn, &assigned, &rmp_level);
rc = snp_lookup_rmpentry(pfn, &assigned, &level);
EXPORT_SYMBOL_GPL(snp_lookup_rmpentry);
ret = snp_lookup_rmpentry(pfn, &assigned, &level);