Not sure about Linux specifically, but it sounds like you’re looking for a kernel debugger that can communicate with a user mode debugger (or debuggers).

Edit: actually SystemTap mentioned in a sibling comment sounds simpler if you just need instrumentation.