btor (definition) - OpenGrok search results

Repository(s)

Full Search		Search through all text tokens(words,strings,identifiers,numbers) in index.
Definition		Only finds symbol definitions(where e.g a variable(function,...) is defined).
Symbol		Only finds symbol(e.g. methods classes,function,variables).
File Path		Path of the source file(use "/").If you want just exact path,enclose it in "".Source files end with: .jar/.bz2/.a/.h/.java...
History		History log comments.
Type		Type of analyzer used to filter file types include with selected(e.g. just C sources).

Help

Searched defs:btor (Results 1 - 7 of 7) sorted by relevance

/kernel/linux/linux-5.10/drivers/media/pci/bt8xx/
H A D	bt878.c	`55 #define btor(dat,adr) btwrite((dat) \| btread(adr), adr) macro`
H A D	bttvp.h	`520 #define btor(dat,adr) btwrite((dat) \| btread(adr), adr) macro`
/kernel/linux/linux-6.6/drivers/media/pci/bt8xx/
H A D	bt878.c	`55 #define btor(dat,adr) btwrite((dat) \| btread(adr), adr) macro`
H A D	bttvp.h	`495 #define btor(dat,adr) btwrite((dat) \| btread(adr), adr) macro`
/third_party/ltp/tools/sparse/sparse-src/
H A D	scheck.c	42 static BoolectorSort get_sort(Btor btor, struct symbol type, struct position pos) in get_sort() argument 51 static BoolectorNode mkvar(Btor btor, BoolectorSort s, pseudo_t pseudo) in mkvar() argument 74 static BoolectorNode get_arg(Btor btor, struct instruction insn, int idx) in get_arg() argument 83 static BoolectorNode zext(Btor btor, struct instruction insn, BoolectorNode s) in zext() argument 90 sext(Btor btor, struct instruction insn, BoolectorNode s) sext() argument 97 slice(Btor btor, struct instruction insn, BoolectorNode s) slice() argument 104 binary(Btor btor, BoolectorSort s, struct instruction insn) binary() argument 143 binop(Btor btor, struct instruction insn) binop() argument 149 icmp(Btor btor, struct instruction insn) icmp() argument 155 unop(Btor btor, struct instruction insn) unop() argument 176 ternop(Btor btor, struct instruction insn) ternop() argument 199 add_precondition(Btor btor, BoolectorNode *pre, struct instruction insn) add_precondition() argument 209 check_btor(Btor btor, BoolectorNode p, BoolectorNode n, struct instruction insn) check_btor() argument 233 check_assert(Btor btor, BoolectorNode pre, struct instruction insn) check_assert() argument 241 check_equal(Btor btor, BoolectorNode pre, struct instruction insn) check_equal() argument 265 check_call(Btor btor, BoolectorNode pre, struct instruction insn) check_call() argument 283 Btor *btor = boolector_new(); check_function() local [all...]
/kernel/linux/linux-5.10/drivers/staging/media/zoran/
H A D	zoran.h	`312 #define btor(dat, adr) btwrite((dat) \| btread(adr), adr) macro`
/kernel/linux/linux-6.6/drivers/media/pci/zoran/
H A D	zoran.h	`309 #define btor(dat, adr) btwrite((dat) \| btread(adr), (adr)) macro`

Completed in 6 milliseconds