ad_flag
if (ad_flag == 0)
const uint64_t ad_flag = track_dirty ? EPTP_FLAG_ACCESSED_DIRTY : 0;
return ((root_pfn << PAGESHIFT | ad_flag |