Lines Matching defs:access
59 * exception on the memory access instruction itself. An asynchronous
453 /** Convert an access perms API value (seL4_BreakOnRead, etc) into the register
456 static word_t convertAccessToArch(word_t access)
458 switch (access) {
464 assert(access == seL4_BreakOnReadWrite);
469 /** Convert an arch-specific register encoding back into an API access perms
726 * registers are safe to access on this CPU. The debug architecture is wildly
797 * difficult, because if you access any particular register which is
802 * effects on which registers you can access...and only one of them is
815 * with it because you have no reliable access to the debug registers.
845 printf("ARMDBG: No reliable access to DBG regs.\n");
1062 * type of access (data access vs instruction execution) triggered the exception
1198 * In the hypervisor build, the guest VM has full access to the