#!/bin/sh
# DF-4248 trigger (DOCUMENTATION ONLY - requires AMD ASIC + root):
# V1-format (ucTableFormatRevision < 6) table with ucNumStates = N;
# race pp_tables_get_num_of_entries() vs a pp_table swap so that
# pp_tables_get_entry() is called with entry_index == N:
#   :937 `entry_index > ucNumStates` passes for ==N ->
#   :940 pstate_entry at array end -> :953-957 ucClockStateIndices[] read OOB.
echo "hardware-gated on this guest (no 1002: PCI device); see run.log"