OpenCloudOS-Kernel/arch/ia64/scripts/check-model.c