Just SysRq. Alt+PrtScr is how you press SysRq Just like you wouldn’t write “shift+1” instead of “!”