Searched defs:va (Results 1 - 5 of 5) sorted by path

/seL4-l4v-10.1.1/HOL4/examples/l3-machine-code/riscv/model/
H A Driscv.sml4042 val va = rec'SV_Vaddr vAddr value
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DPainting.sml118 val va = ref zeroRect value
/seL4-l4v-10.1.1/HOL4/src/coretypes/
H A DpairTools.sml37 val (va,ka) = try_split "a" tya value
/seL4-l4v-10.1.1/HOL4/src/pattern_matches/
H A DconstrFamiliesLib.sml872 val va = genvar (type_of sf) value
885 val va = genvar (type_of sf) value
/seL4-l4v-10.1.1/seL4/src/arch/arm/api/
H A Dfaults.c44 word_t ipa, va; local

Completed in 105 milliseconds