Someone
public text v1 · immutable else if ((type == SHADOW_FAULT_WRITE) && (guest_pte & (1 << 1)))
{
guest_pte |= (1 << 6);
guest_pte &= 0xFFFFFFFD;
}
else if ((type == SHADOW_FAULT_WRITE) && (guest_pte & (1 << 1)))
{
guest_pte |= (1 << 6);
guest_pte &= 0xFFFFFFFD;
}