Home
last modified time | relevance | path

Searched refs:va (Results 1 – 3 of 3) sorted by relevance

/seL4-master/src/arch/arm/api/
A Dfaults.c38 word_t ipa, va; in Arch_setMRs_fault() local
39 va = getRestartPC(sender); in Arch_setMRs_fault()
40 ipa = (addressTranslateS1CPR(va) & ~MASK(PAGE_BITS)) | (va & MASK(PAGE_BITS)); in Arch_setMRs_fault()
/seL4-master/include/arch/arm/arch/32/mode/machine/
A Ddebug.h33 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;
/seL4-master/include/arch/arm/arch/64/mode/
A Dmachine.h350 static inline word_t ats1e2r(word_t va) in ats1e2r() argument
353 asm volatile("at s1e2r, %0" :: "r"(va)); in ats1e2r()
358 static inline word_t ats1e1r(word_t va) in ats1e1r() argument
361 asm volatile("at s1e1r, %0" :: "r"(va)); in ats1e1r()
367 static inline word_t ats2e0r(word_t va) in ats2e0r() argument
370 asm volatile("at s12e0r, %0" :: "r"(va)); in ats2e0r()

Completed in 4 milliseconds