Searched refs:far (Results 1 - 4 of 4) sorted by relevance

/seL4-camkes-master/kernel/src/arch/x86/32/
H A Dmachine_asm.S40 ljmp $0x08, $1f # reload kernel CS with a far jump
/seL4-camkes-master/kernel/src/arch/arm/32/kernel/
H A Dvspace.c253 /* crosscheck whether we have mapped correctly so far */
2802 word_t UNUSED far = getHDFAR(); local
2807 printf("HDFAR: 0x%x HSR: 0x%x\n", (unsigned int)far, (unsigned int)sr);
2839 word_t UNUSED far = getFAR(); local
2843 printf("FAR: 0x%x DFSR: 0x%x\n", (unsigned int)far, (unsigned int)dfsr);
/seL4-camkes-master/kernel/src/arch/arm/64/kernel/
H A Dvspace.c2451 word_t far = getFAR(); local
2455 printf("FAR: 0x%lx ESR (DFSR): 0x%x\n", (unsigned long)far, (unsigned int)dfsr);
/seL4-camkes-master/kernel/manual/parts/
H A Dobjects.tex400 The model described thus far is sufficient for applications to

Completed in 90 milliseconds