Searched refs:VKI_PSL_USER (Results 1 – 2 of 2) sorted by relevance
987 LibVEX_GuestX86_put_eflags(VKI_PSL_USER, &arch->vex); in VG_()1017 LibVEX_GuestAMD64_put_rflags(VKI_PSL_USER, &arch->vex); in VG_()
169 #define VKI_PSL_USER PSL_USER macro