QEMU_LOADER_ALLOC_HIGH
table->alignment, QEMU_LOADER_ALLOC_HIGH));
QEMU_LOADER_ALLOC_HIGH));
case QEMU_LOADER_ALLOC_HIGH:
