1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
|
<!---======================= begin_copyright_notice ============================
Copyright (C) 2020-2022 Intel Corporation
SPDX-License-Identifier: MIT
============================= end_copyright_notice ==========================-->
## Opcode
FILE = 0x51
## Format
| | |
| --- | --- |
| 0x51(FILE) | File_name |
## Semantics
```
Source file name for the subsequent instructions.
```
## Description
Specify the source file name for the subsequent instruction. The source
file name remains in effect until the next FILE instruction changes it.
This instruction is used for debugging purposes.
- **File_name(ud):** index to the string storing the name of the kernel, with a maximum length of 255 characters
#### Properties
## Text
```
FILE <file_name>
//<file_name> is a constant string.
```
## Notes
|
