| 43 | boolean_t kdb_cpu_pc_is_singlestep(db_addr_t); |
| 44 | |
| 45 | static __inline void |
| 46 | kdb_cpu_sync_icache(unsigned char *addr, size_t size) |
| 47 | { |
| 48 | |
| 49 | icache_sync((vm_offset_t)addr, size); |
| 50 | } |
| 51 | |
| 52 | static __inline void |
| 53 | kdb_cpu_trap(int type, int code) |
nothing calls this directly
no test coverage detected