Searched refs:readl (Results 1 - 15 of 15) sorted by relevance

/seL4-l4v-master/seL4/include/drivers/irq/
H A Driscv_plic0.h69 static inline uint32_t readl(uint64_t addr) function
102 if (readl(addr) & BIT(bit)) {
122 return readl(PLIC_PPTR_BASE + plic_claim_offset(hart_id, PLIC_SVC_CONTEXT));
142 val = readl(addr);
171 readl(PLIC_PPTR_BASE + plic_claim_offset(PLIC_HART_ID, PLIC_SVC_CONTEXT));
/seL4-l4v-master/HOL4/src/AI/sml_inspection/
H A DsmlOpen.sml54 hd (readl fileout)
68 map holpathdb.subst_pathvars (readl fileout)
186 (readl (dir ^ "/values"), readl (dir ^ "/constructors"),
187 readl (dir ^ "/exceptions"), readl (dir ^ "/structures"))
H A DsmlParallel.sml349 let fun is_up wid = hd (readl (widout_file pd wid)) = "up"
429 string_to_int (singleton_of_list (readl file)) in f end,
/seL4-l4v-master/HOL4/src/holyhammer/
H A DhhReconstruct.sml38 remove_white_spaces (hd (readl atp_status))
44 val l = filter not_reserved (map unescape (readl atp_out))
/seL4-l4v-master/HOL4/examples/AI_TNN/
H A DmleEntail.sml46 val exl1 = map parse_ex (readl file)
54 val exl1 = map parse_ex (readl file)
81 val ex1 = map parse_ex (readl (entaildir ^ "/" ^ basename))
H A DmleArithData.sml107 val l1 = readl (arithdir ^ "/" ^ dataname)
/seL4-l4v-master/HOL4/src/AI/machine_learning/
H A DmlReinforce.sml105 val rll = map string_to_reall (readl (file ^ "_rll"))
123 (singleton_of_list (readl (file ^ "_flags")))))
124 val nsim = string_to_int (singleton_of_list (readl (file ^ "_nsim")))
134 (string_to_bool (singleton_of_list (readl (file ^ "_bstatus"))),
192 val l2 = map stbl (readl (file ^ "_bl"))
418 val s1 = singleton_of_list (readl (file ^ "_bstatus"))
419 val s2 = singleton_of_list (readl (file ^ "_nstep"))
H A DmlNeuralNetwork.sml54 map trainparam_of_string (readl file)
110 fun read_exl file = map ex_of_string (readl file)
/seL4-l4v-master/HOL4/src/tactictoe/src/
H A DtttEval.sml107 fun f x = readl x handle
225 val sl = readl (dir ^ "/" ^ file)
/seL4-l4v-master/HOL4/examples/AI_tasks/
H A DmleDiophSynt.sml108 val l2 = map string_to_graph (readl (file ^ "_graph"))
109 val l3 = map string_to_int (readl (file ^ "_timer"))
H A DmleDiophLib.sml230 val sl = readl (targetdir ^ "/" ^ file)
H A DmleCombinLib.sml303 val sl = readl (targetdir ^ "/" ^ file)
H A DmleCombinSynt.sml141 val l3 = map string_to_int (readl (file ^ "_timer"))
/seL4-l4v-master/HOL4/src/AI/
H A DaiLib.sml911 fun readl path = function
946 f oc; TextIO.closeOut oc; readl path
997 let val sl = readl file in OS.FileSys.remove file; sl end
1285 readl file
H A DaiLib.sig160 val readl : string -> string list value

Completed in 534 milliseconds