iPad mini and 4th generation machine id

Question

Anyone know the machine IDs for these new devices? For example the 3rd generation iPad could be iPad3,1 iPad3,2, iPad3,5 iPad3,6 depending on the model. I'm finding the string with this

struct utsname systemInfo;
uname(&systemInfo);
NSString *dev = [NSString stringWithCString:systemInfo.machine encoding:NSUTF8StringEncoding];

Answer 1

I got a new Ipad 4th Wifi, the machine model is iPad3,4

Also, Ipad mini Wifi is iPad2,5

Edited

On Mid-November will be launch the rest of the new Ipad models: (as Ipad 3th gen)

• iPad3,5 for iPad 4th gen GSM
• iPad3,6 for iPad 4th gen CDMA
• iPad2,6 for Ipad mini Wifi GSM
• iPad2,7 for Ipad mini Wifi CDMA

Answer 2

Just got my iPad mini. "iPad2,5"
UIDevice model is just "iPad". I suspect the larger iPad 2 will be phased out since it does not have the lighting port, and the new iPad mini Retina will be iPad2,6