Use real names for page lock operations