We do not need this for IA32