IvtGetContextEntryType

UINT64 __stdcall IvtGetContextEntryType(CHAR a1, CHAR a2){
  UINT64 result; 

  result = 0i64;
  if( a1 )
    return(-(__int64)(a2 != 0) & 0xFFFFFFFFFFFFFFFCui64) + 5;
  if( !a2 )
    return 2i64;
  return result;
}

Referenced by:

IvtInitializeIommu
IvtUpdateContextEntry
IvtUpdateExtendedContextEntry