Searched defs:ctx_bpn (Results 1 – 1 of 1) sorted by relevance
237 static void guest_code(uint8_t bpn, uint8_t wpn, uint8_t ctx_bpn) in guest_code()424 static void test_guest_debug_exceptions(uint8_t bpn, uint8_t wpn, uint8_t ctx_bpn) in test_guest_debug_exceptions()