Lines Matching defs:u64
22 #define u64 __u64
100 static inline u64 set_pkey_bits(u64 reg, int pkey, u64 flags)
104 reg &= ~((u64)PKEY_MASK << shift);
110 static inline u64 get_pkey_bits(u64 reg, int pkey)
120 extern u64 shadow_pkey_reg;
122 static inline u64 _read_pkey_reg(int line)
124 u64 pkey_reg = __read_pkey_reg();
136 static inline void write_pkey_reg(u64 pkey_reg)
154 u64 pkey_reg = read_pkey_reg();
168 u64 pkey_reg = read_pkey_reg();