Searched refs:writel (Results 1 - 19 of 19) sorted by relevance
/seL4-l4v-master/seL4/include/drivers/irq/ |
H A D | riscv_plic0.h | 74 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 D | mleArithData.sml | 87 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 D | smlOpen.sml | 156 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 D | smlParallel.sml | 341 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 D | mleCombinLib.sml | 295 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 D | mleCombinProve.sml | 79 val _ = writel (dir2 ^ "/theorems")
|
H A D | mleDiophLib.sml | 223 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 D | mleDiophSynt.sml | 100 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 D | mleCombinSynt.sml | 134 writel (file ^ "_timer") (map its l3) 525 writel "combin_graph" ("gen exp sol" :: map graph_to_string graph);
|
H A D | mleDiophProve.sml | 282 val _ = writel (dir2 ^ "/theorems") (map (minspace o string_of_goal o dest_thm) thml);
|
/seL4-l4v-master/HOL4/src/AI/machine_learning/ |
H A D | mlReinforce.sml | 99 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 D | mlTacticData.sml | 61 writel file (List.concat (map call_to_string calls2))
|
H A D | mlNeuralNetwork.sml | 52 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 D | tttRecord.sml | 87 writel (infodir ^ "/" ^ thy) infol; 293 writel (tactictoe_dir ^ "/savestate/" ^ thy ^ "_pbl") (rev (!pbl_glob)))
|
H A D | tttEval.sml | 88 writel (file ^ "_eval.sml") sl 242 writel file ((s1 ^ " " ^ s2) :: map (fn (a,b) => rts a ^ " " ^ its b) l)
|
H A D | tttBigSteps.sml | 295 writel (resdir ^ "/" ^ pb) [string_of_bstatus bstatus];
|
/seL4-l4v-master/HOL4/src/holyhammer/ |
H A D | hhExportSexpr.sml | 259 writel file [String.concatWith " " (sorted_ancestry thyl)]
|
/seL4-l4v-master/HOL4/src/AI/ |
H A D | aiLib.sml | 951 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 D | aiLib.sig | 167 val writel : string -> string list -> unit value
|
Completed in 184 milliseconds