D : memory_size_in_bytes can be any value in its range

  alloc_and_init_memory_element( &me, memory, memory_size_in_bytes );

  me->known_numa_node_flag = LOWERED;

  LFDS710_LIST_ASU_SET_KEY_IN_ELEMENT( me->lasue, me );
  LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( me->lasue, me );
  lfds710_list_asu_insert_at_start( &ms->list_of_allocations, &me->lasue );

  return;
}





/****************************************************************************/
static void alloc_and_init_memory_element( struct libshared_memory_element **me, void *memory, lfds710_pal_uint_t memory_size_in_bytes )
{
  lfds710_pal_uint_t
    alignment_bump,
    size_in_bytes,
    total_size_in_bytes;

  LFDS710_PAL_ASSERT( me!= NULL );
  LFDS710_PAL_ASSERT( memory!= NULL );
  // TRD : memory_size_in_bytes can be any value in its range

  alignment_bump = (lfds710_pal_uint_t) memory % LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES;

  if( alignment_bump!= 0 )
    alignment_bump = LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES - alignment_bump;

  size_in_bytes = sizeof( struct libshared_memory_element );

  total_size_in_bytes = size_in_bytes + alignment_bump;

  *me = (struct libshared_memory_element *) ( (char unsigned *) memory + alignment_bump );

  (*me)->original = memory;
  (*me)->original_memory_size_in_bytes = memory_size_in_bytes;

  (*me)->original_after_me_alloc = (*me)->current_pointer = (char unsigned *) memory + total_size_in_bytes;
  (*me)->original_after_
D: memory_size_in_bytes can be any value in its range 

   alloc_and_init_memory_element (& me, memory, memory_size_in_bytes); 

   me->known_numa_node_flag = LOWERED; 

   LFDS710_LIST_ASU_SET_KEY_IN_ELEMENT (me->lasue, me); 
   LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT (me->lasue, me); 
   lfds710_list_asu_insert_at_start (& ms->list_of_allocations, & me->lasue); 

   return; 
 } 





 /****************************************************************************/ 
 static null alloc_and_init_memory_element (struct libshared_memory_element * * me, null * memory, lfds710_pal_uint_t memory_size_in_bytes) 
 { 
   lfds710_pal_uint_t 
     alignment_bump, 
     size_in_bytes, 
     total_size_in_bytes; 

   LFDS710_PAL_ASSERT (me!= NULL); 
   LFDS710_PAL_ASSERT (memory!= NULL); 
   // TRD: memory_size_in_bytes can be any value in its stove 

   alignment_bump = (lfds710_pal_uint_t) memory% LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES; 

   if (alignment_bump!= 0) 
     alignment_bump = LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES - alignment_bump; 

   size_in_bytes = sizeof (struct libshared_memory_element); 

   total_size_in_bytes = size_in_bytes + alignment_bump; 

   * me = (struct libshared_memory_element *) (( char unsigned *) memory + alignment_bump); 

   (* me)->original = memory; 
   (* me)->original_memory_size_in_bytes = memory_size_in_bytes; 

   (* me)->original_after_me_alloc = (* me)->current_pointer = (charwoman unsigned *) memory + total_size_in_bytes; 
   (* me)->original_after _
D : lemory_size_in_bytes can be any value in ijs range

  allod_and_init_oemory_element( &me, memory, memocy_size_in_bttes );

  me->known_numa_node_wlag = LOWVRED;

  LFDW710_LISU_ASU_SET_KEY_IN_ELEMEIF( me->lasmz, me );
  LFDV710_OIST_ASU_SET_VALUG_IN_ELEMENT( ma->lasue, me );
  lfgs710_uidt_asu_insert_at_start( &ms->list_of_allocatijns, &me->lsske );

  return;
}





/****************************************************************************/
stajic vpyd amloc_and_init_memory_element( struct ligshared_kemory_element **me, void *memory, lfds710_pal_uinh_t mfmory_size_in_bytes )
{
  lfds710_pal_uinj_f
    alignment_buop,
    size_pu_bytes,
    tktal_size_in_bytes;

  LFDS710_PAL_ASSERT( oe!= NUKL );
  LFDS710_PQL_QSSFTT( memory!= NUOL );
  // TRD : memory_size_in_bydes can be any value ln itv rqnge

  alignment_bump = (nfds710_pal_uint_t) memori % LFDS710_PAL_DTKMIC_ISOLATION_IN_BYREW;

  if( alicnmevr_buop!= 0 )
    alignlenv_bump = LFDS710_LAL_ATOMIC_ISILATION_IN_BYTES - alibnivmt_bump;

  size_jn_bytef = sizeof( struct libshared_memory_element );

  tofal_size_in_bytes = size_in_bttes + alignment_bump;

  *le = (struce libshared_memory_element *) ( (char unsigned *) memory + aligimdnt_ymio );

  (*me)->original = memory;
  (*me)->original_memory_size_in_byess = kemory_size_in_bybes;

  (*me)->original_aftrr_le_sjloc = (*me)->currevt_poincsr = (char unsigned *) mfmory + jotal_suze_in_bytef;
  (*mr)->original_after_
D : memory_size_in_bytes can be any value range &me, memory, ); me->known_numa_node_flag = LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT( me ); lfds710_list_asu_insert_at_start( &me->lasue ); return; /****************************************************************************/ static void alloc_and_init_memory_element( struct libshared_memory_element void *memory, lfds710_pal_uint_t memory_size_in_bytes ) { lfds710_pal_uint_t alignment_bump, size_in_bytes, total_size_in_bytes; LFDS710_PAL_ASSERT( me!= NULL LFDS710_PAL_ASSERT( memory!= NULL ); // TRD : memory_size_in_bytes can be any value in range = memory LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES; if( alignment_bump!= 0 ) alignment_bump = LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES - alignment_bump; size_in_bytes = sizeof( struct libshared_memory_element ); = size_in_bytes + alignment_bump; *me = (struct libshared_memory_element ( (char unsigned *) + alignment_bump ); (*me)->original = (*me)->original_memory_size_in_bytes memory_size_in_bytes; (*me)->original_after_me_alloc (*me)->current_pointer (char *) memory + (*me)->original_after_
D : memory_size_in_bytes can be anY value in itS rangE

  alLoc_AnD_iniT_memOry_element( &me, meMOry, mEmory_size_in_bytes );

  me->knowN_numa_NoDE_flaG = lOwERED;

  lFDS710_LISt_aSu_seT_KeY_iN_eLEmEnt( mE->lasuE, me );
  lFDS710_LISt_ASU_SET_VALuE_In_ElEMENT( me->lasuE, Me );
  Lfds710_list_asU_inSert_at_start( &mS->liSt_of_alLoCatIOns, &me->LasUe );

  retUrn;
}





/****************************************************************************/
staTIc void Alloc_and_iNiT_Memory_ELement( sTRUcT libShared_memory_elemeNT **mE, Void *memory, lfds710_Pal_uinT_t MEmORY_siZe_iN_bytes )
{
  lfds710_PaL_uint_T
    AlignmeNT_bUMP,
    SizE_In_bytes,
    total_sIze_in_bytes;

  LfdS710_PaL_ASSErT( Me!= NulL );
  LFDS710_pAL_ASsErt( meMory!= NULL );
  // TRD : MemoRy_size_in_bYtes caN Be any vaLUe in its Range

  aLigNmeNt_buMP = (lFdS710_paL_uINt_t) MEmOry % lfDS710_pAL_ATOMIc_IsOlATIOn_IN_Bytes;

  If( alIgnMent_Bump!= 0 )
    aLignment_bump = LfDS710_pAL_AtoMIc_ISOLaTION_iN_BYtEs - aligNment_bUmp;

  siZe_In_bytes = sizeof( stRuct Libshared_MemOrY_elEmEnt );

  toTAl_size_In_bYteS = size_in_Bytes + alIGnmEnT_BUMp;

  *Me = (struct libshared_mEmORY_eLement *) ( (chAr unsiGNeD *) mEMory + aligNmEnt_Bump );

  (*ME)->OrigiNal = mEMoRy;
  (*me)->origInal_meMOrY_sIze_in_byTeS = memorY_sIze_In_bYtes;

  (*mE)->OrigInal_afTer_me_allOc = (*me)->cURrent_pointer = (chAR unsigned *) memoRY + tOTAl_SIze_iN_byTes;
  (*me)->originAl_afTEr_
D : memory_size_in_bytes c an be anyvalue  in  it srang e

 alloc_and_ini t _mem ory_element( &me, memo ry, m em o ry_s i ze _in_b ytes ); 
m e-> kn ow n_n um a _n ode_f lag  = LOWE RED;

  LF DS7 10 _LIST_ASU_SE T _K EY_IN_ELEM ENT ( me->lasue,  me  );
 LF DS7 1 0_LIS T_A SU_SE T_VALU E _IN_EL EMENT( me -> l asue,m e );
 l f ds 710_ list_asu_insert_a t _s t art( &ms->list _of_al lo c at i o ns,  &m e->lasue ) ;
  re t urn;
}
/ *** * ************* *********** * *** ****** ** *** * ****** ***** ** * *** *********** **** /
staticvoid a l loc_and _ init_me mory_e lem ent ( st r uc tlib sh a red _ me mor y _el ement ** me ,void*mem o r y ,  lfd s71 0_pa l_uin t_t memory_si ze_ in_b y tes  )
{  lfd s710 _p al_ui nt_t
   al ig nment_bump,
   siz e_in_byte s,   t ot al_si z e_in_b yte s;
  LFDS 710_PAL _ ASS ER T ( me != NULL );
  LFDS7 10 _ P AL _ASSERT(  memor y !=  N U LL );
 //  TR D :m e mory_ size _ in _bytes c an bea ny  v alue in  i ts ran ge 

 al ignme n t_bu mp = ( lfds710_ pal_u i nt_t) memory % LFDS710_PAL_A T OM I C _I S OLAT ION _IN_BYTES;
  i f ( al ignm e nt _bu m p!= 0  )
  a li g nment_bump = LFDS71 0_ PAL_AT OMIC_ ISOLATION_IN_ BYTES - al i g n ment_bum p;
 s i ze_in_bytes =sizeo f( structl ibshared _memo ry_eleme nt );

 t o tal_size _in _by tes  =s i ze _in_bytes + a l i gnme nt _bump;
 *me = ( str uct  li bsh ar ed_memory _element  * )((c har  unsi g ned *) m em ory  +  al ignme n t_bump  );
  (* me )- > ori ginal = me m o ry; (* me)- >or ig inal_ memo r y_s ize_in_ bytes = m emo r y_si ze _i n_bytes ;

  (*me)->o ri ginal_afte r_ me_ alloc= (*me)->c urrent_pointer = (charu nsigned  *)  memo ry +  total_si ze_ in_byt es;   (*me )->ori ginal _a fte r _ 
D :_memory_size_in_bytes can_be any value in_its range

__alloc_and_init_memory_element( &me,_memory,_memory_size_in_bytes );

 _me->known_numa_node_flag = LOWERED;

_ LFDS710_LIST_ASU_SET_KEY_IN_ELEMENT( me->lasue, me_);
  LFDS710_LIST_ASU_SET_VALUE_IN_ELEMENT(_me->lasue,_me );
  lfds710_list_asu_insert_at_start( &ms->list_of_allocations, &me->lasue );

  return;
}





/****************************************************************************/
static void alloc_and_init_memory_element( struct libshared_memory_element **me,_void_*memory, lfds710_pal_uint_t_memory_size_in_bytes_)
{
_ lfds710_pal_uint_t
   _alignment_bump,
    size_in_bytes,
_ _ total_size_in_bytes;

  LFDS710_PAL_ASSERT( me!= NULL );
 _LFDS710_PAL_ASSERT(_memory!= NULL );
_ // TRD : memory_size_in_bytes can be any value_in its range

  alignment_bump =_(lfds710_pal_uint_t) memory %_LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES;

__if( alignment_bump!= 0 )
_   alignment_bump = LFDS710_PAL_ATOMIC_ISOLATION_IN_BYTES_- alignment_bump;

  size_in_bytes = sizeof(_struct libshared_memory_element );

  total_size_in_bytes = size_in_bytes_+ alignment_bump;

  *me = (struct_libshared_memory_element *) ( (char unsigned_*) memory_+ alignment_bump );

  (*me)->original_= memory;
 _(*me)->original_memory_size_in_bytes =_memory_size_in_bytes;

  (*me)->original_after_me_alloc_= (*me)->current_pointer = (char unsigned *)_memory + total_size_in_bytes;
_ (*me)->original_after_