Searched defs:negate (Results 1 – 6 of 6) sorted by relevance
| /linux/tools/verification/rvgen/rvgen/ |
| H A D | ltl2ba.py | 116 def negate(self): member in ASTNode
156 def negate(self): member in BinaryOp
179 def negate(self): member in AndOp
203 def negate(self): member in OrOp
229 def negate(sel member in UntilOp
251 def negate(self): global() member in VOp
277 def negate(self): global() member in ImplyOp
302 def negate(self): global() member in UnaryOp
316 def negate(self): global() member in EventuallyOp
329 def negate(self): global() member in AlwaysOp
340 def negate(self): global() member in NextOp
360 def negate(self): global() member in NotOp
384 def negate(self): global() member in Variable
417 def negate(self): global() member in Literal
[all...] |
| /linux/kernel/debug/ |
| H A D | gdbstub.c | 294 int negate = 0; in kgdb_hex2long() local
|
| /linux/arch/arm/vfp/ |
| H A D | vfpdouble.c | 851 vfp_double_multiply_accumulate(int dd, int dn, int dm, u32 fpscr, u32 negate, char *func) in vfp_double_multiply_accumulate() argument
|
| H A D | vfpsingle.c | 895 vfp_single_multiply_accumulate(int sd, int sn, s32 m, u32 fpscr, u32 negate, char *func) in vfp_single_multiply_accumulate() argument
|
| /linux/drivers/iio/addac/ |
| H A D | ad74115.c | 237 bool negate; member
|
| /linux/lib/ |
| H A D | vsprintf.c | 3570 bool negate = (*fmt == '^'); in vsscanf() local
|