AttemptPteBreakBeforeMake
if (!AttemptPteBreakBeforeMake(ptePtr, oldPte, effectiveVa))
if (!AttemptPteBreakBeforeMake(ptePtr, oldPte, effectiveVa))
bool AttemptPteBreakBeforeMake(uint64_t* ptePtr, uint64_t oldPte, addr_t va);