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

/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dbreakpoint.c149 PURE static inline convertedTypeAndAccess_t convertArchToTypeAndAccess(word_t dr7, uint16_t bp_num) function
454 res = convertArchToTypeAndAccess(dr7val, bp_num);
576 tmp = convertArchToTypeAndAccess(readDr7Context(t), ret.bp_num);

Completed in 33 milliseconds