Revision cb41bad3 target-i386/cpu.h

b/target-i386/cpu.h
1255 1255 
/* Return name of 32-bit register, from a R_* constant */
1256 1256 
const char *get_register_name_32(unsigned int reg);
1257 1257 

  		





  
  1258
  
    
uint32_t x86_cpu_apic_id_from_index(unsigned int cpu_index);


  		





  
  1259
  
    

  		





  1258
  1260
  
    
#endif /* CPU_I386_H */


  		












Also available in:
  Unified diff