Searched refs:writel (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h74 static inline void writel(uint32_t val, uint64_t addr) function
129 writel(irq, PLIC_PPTR_BASE + plic_claim_offset(hart_id, PLIC_SVC_CONTEXT));
148 writel(val, addr);
162 writel(0, (PLIC_PPTR_BASE + plic_thres_offset(hart_id, PLIC_SVC_CONTEXT)));
172 writel(i, PLIC_PPTR_BASE + plic_claim_offset(PLIC_HART_ID, PLIC_SVC_CONTEXT));
178 writel(2, PLIC_PPTR_BASE + PLIC_PRIO + PLIC_PRIO_PER_ID * i);
/seL4-l4v-master/HOL4/examples/AI_TNN/
H A DmleArithData.sml87 writel (arithdir ^ "/train") (map f tmltrain);
88 writel (arithdir ^ "/valid") (map f tmlvalid);
89 writel (arithdir ^ "/test") (map f tmltest)
144 writel (arithdir ^ "/" ^ dataname ^ "_fea") (map f tml)
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml156 writel (dir ^ "/structures") (map fst structures);
157 writel (dir ^ "/values") (map fst values);
158 writel (dir ^ "/constructors") (map fst constructors);
159 writel (dir ^ "/exceptions") (map fst exceptions)
180 writel tempfile (export_struct_code s);
H A DsmlParallel.sml341 writel (widscript_file pd wid) (code_of wid);
427 write_arg = let fun f file arg = writel file [its arg] in f end,
430 write_result = let fun f file r = writel file [its r] in f end,
/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleCombinLib.sml295 writel (targetdir ^ "/train_export") (map f1 train_sorted);
296 writel (targetdir ^ "/test_export") (map f1 test_sorted);
297 writel (targetdir ^ "/distrib-headnf") [distrib_il il1];
298 writel (targetdir ^ "/distrib-witness") [distrib_il il2]
H A DmleCombinProve.sml79 val _ = writel (dir2 ^ "/theorems")
H A DmleDiophLib.sml223 writel (targetdir ^ "/train_export") (map f1 train_sorted);
224 writel (targetdir ^ "/test_export") (map f1 test_sorted);
225 writel (targetdir ^ "/distrib") (map f2 statsl)
H A DmleDiophSynt.sml100 writel (file ^ "_poly") (map poly_to_string l1);
101 writel (file ^ "_graph") (map graph_to_string l2);
102 writel (file ^ "_timer") (map its l3)
487 writel "dioph_graph" ("gen exp sol" :: map graph_to_string graph);
H A DmleCombinSynt.sml134 writel (file ^ "_timer") (map its l3)
525 writel "combin_graph" ("gen exp sol" :: map graph_to_string graph);
H A DmleDiophProve.sml282 val _ = writel (dir2 ^ "/theorems") (map (minspace o string_of_goal o dest_thm) thml);
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlReinforce.sml99 writel (file ^ "_rll") (map reall_to_string rll)
113 writel (file ^ "_flags") [String.concatWith " " (map bts [unib,noiseb])];
114 writel (file ^ "_nsim") [its nsim]
130 (writel (file ^ "_bstatus") [bts b];
185 writel (file ^ "_bl") (map blts l2)
411 writel (file ^ "_bstatus") [bts b];
412 writel (file ^ "_nstep") [its nstep];
H A DmlTacticData.sml61 writel file (List.concat (map call_to_string calls2))
H A DmlNeuralNetwork.sml52 writel file (map string_of_trainparam schedule)
109 fun write_exl file exl = writel file (map string_of_ex exl)
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttRecord.sml87 writel (infodir ^ "/" ^ thy) infol;
293 writel (tactictoe_dir ^ "/savestate/" ^ thy ^ "_pbl") (rev (!pbl_glob)))
H A DtttEval.sml88 writel (file ^ "_eval.sml") sl
242 writel file ((s1 ^ " " ^ s2) :: map (fn (a,b) => rts a ^ " " ^ its b) l)
H A DtttBigSteps.sml295 writel (resdir ^ "/" ^ pb) [string_of_bstatus bstatus];
/seL4-l4v-master/HOL4/src/holyhammer/
H A DhhExportSexpr.sml259 writel file [String.concatWith " " (sorted_ancestry thyl)]
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sml951 fun writel file sl = function
975 writel (OS.Path.concat (dir,path)) sl
990 writel file ((s1 ^ " " ^ s2) :: map (fn (a,b) => its a ^ " " ^ its b) l);
993 (writel (file ^ "_temp") sl;
H A DaiLib.sig167 val writel : string -> string list -> unit value

Completed in 184 milliseconds