1 /* SPDX-License-Identifier: GPL-2.0-or-later */ 2 /* 3 * Define target-specific memory model 4 * Copyright (c) 2013 Huawei Technologies Duesseldorf GmbH 5 */ 6 7 #ifndef TCG_TARGET_MO_H 8 #define TCG_TARGET_MO_H 9 10 #define TCG_TARGET_DEFAULT_MO 0 11 12 #endif 13