User`s guide

PALcode Violation Checker 12–3
PVC Input Files
The file format is:
offset_value(hex) pal_entry_point_label
Note that offset_value is the offset from the base of the executable code. For
example:
0000 PAL$RESET
0020 PAL$MCHK
0060 PAL$ARITH
00e0 PAL$INTERRUPT
This file is normally generated from a GAS object file with the ALIST tool. For
example:
% alist -e filename.o > filename.ent
Note: An entry point file generated by ALIST may require some editing to
remove entries that are not legal PAL entry points (for example, local
labels).
12.2.3 Description of PVC Symbols
A .map file is used to describe the special PVC symbols derived from labels in the
PAL source code file. The .map file is also generated using the ALIST tool. The file
name for the .map file should match the file name for the .exe file so that it can be
called in automatically with the executable file. For example:
% alist -m filename.o > filename.map