Searched refs:va (Results 1 – 3 of 3) sorted by relevance
38 word_t ipa, va; in Arch_setMRs_fault() local39 va = getRestartPC(sender); in Arch_setMRs_fault()40 ipa = (addressTranslateS1CPR(va) & ~MASK(PAGE_BITS)) | (va & MASK(PAGE_BITS)); in Arch_setMRs_fault()
33 void software_breakpoint(uint32_t va, user_context_t *context) VISIBLE;34 void breakpoint_multiplexer(uint32_t va, user_context_t *context) VISIBLE;36 int set_breakpoint(uint32_t va, break_handler_t handler) VISIBLE;37 void clear_breakpoint(uint32_t va) VISIBLE;
350 static inline word_t ats1e2r(word_t va) in ats1e2r() argument353 asm volatile("at s1e2r, %0" :: "r"(va)); in ats1e2r()358 static inline word_t ats1e1r(word_t va) in ats1e1r() argument361 asm volatile("at s1e1r, %0" :: "r"(va)); in ats1e1r()367 static inline word_t ats2e0r(word_t va) in ats2e0r() argument370 asm volatile("at s12e0r, %0" :: "r"(va)); in ats2e0r()
Completed in 5 milliseconds