Searched refs:fault_ip (Results 1 - 2 of 2) sorted by relevance
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ | ||
H A D | deprecated.h | 40 seL4_Word fault_ip; member in struct:__anon74::__anon75 |
/seL4-test-master/kernel/libsel4/include/sel4/ | ||
H A D | deprecated.h | 35 seL4_Word fault_ip; member in struct:__anon36::__anon37 |
Completed in 25 milliseconds