ctf_enum_value("USER_MODE", X86_PF_USER)
ctf_enum_value("RESERVED_BIT", X86_PF_RSVD)
ctf_enum_value("INSTRUCTION_FETCH", X86_PF_INSTR)
ctf_enum_value("USER_MODE", X86_PF_USER)
ctf_enum_value("RESERVED_BIT", X86_PF_RSVD)
ctf_enum_value("INSTRUCTION_FETCH", X86_PF_INSTR)