Searched defs:cmd (Results 1 – 2 of 2) sorted by relevance

/seL4-master/src/plat/tk1/machine/
A D	smmu.c	139 uint32_t cmd = PTC_FLUSH_ALL; in plat_smmu_ptc_flush_all() local 145 uint32_t cmd = TLB_FLUSH_ALL; in plat_smmu_tlb_flush_all() local
/seL4-master/include/arch/riscv/arch/
A D	sbi.h	53 static inline word_t sbi_call(word_t cmd, in sbi_call()

Completed in 8 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023