__trace_opal_entry
static void __trace_opal_entry(s64 a0, s64 a1, s64 a2, s64 a3,
void __trace_opal_entry(unsigned long opcode, unsigned long *args)