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