2 * Copyright 2010 The Native Client Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can be
4 * found in the LICENSE file.
7 #ifndef NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_NACL_ILLEGAL_H_
8 #define NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_NACL_ILLEGAL_H_
10 #ifndef NACL_TRUSTED_BUT_NOT_TCB
11 #error("This file is not meant for use in the TCB")
14 /* Looks at the current instruction up, in a table of intructions
15 * that aren't legal in native client, and adds the corresponding
16 * instruction flag if applicable.
18 * TODO(karl) This table is incomplete. As we fix instructions to use the new
19 * generator model, this table will be extended.
21 void NaClAddNaClIllegalIfApplicable(void);
23 #endif /* NATIVE_CLIENT_SRC_TRUSTED_VALIDATOR_X86_DECODER_GENERATOR_NACL_ILLEGAL_H_ */