1 #include "s390/arch_regs.c"
2 #define ARCH_PC_REG s390_regset.psw.addr
3