1 /* For QEMU all types are already defined via osdep.h, so this 2 * header does not need to do anything. 3 */ 4