PIF_PSW_ADDR_ADJUSTED
#define _PIF_ADDR_PSW_ADJUSTED BIT(PIF_PSW_ADDR_ADJUSTED)
if (test_pt_regs_flag(regs, PIF_PSW_ADDR_ADJUSTED))
if (test_pt_regs_flag(regs, PIF_PSW_ADDR_ADJUSTED))
set_pt_regs_flag(regs, PIF_PSW_ADDR_ADJUSTED);