| 5 | #include <scheduler.h> |
| 6 | |
| 7 | inline static void PrintStackTrace(uint64_t _rbp){ |
| 8 | uint64_t* rbp = (uint64_t*)_rbp; |
| 9 | uint64_t rip = 0; |
| 10 | while(rbp && Memory::CheckKernelPointer((uintptr_t)rbp, 16)){ |
| 11 | rip = *(rbp + 1); |
| 12 | Log::Info(rip); |
| 13 | rbp = (uint64_t*)(*rbp); |
| 14 | } |
| 15 | } |
| 16 | |
| 17 | inline static void UserPrintStackTrace(uint64_t _rbp, address_space_t* addressSpace){ |
| 18 | uint64_t* rbp = (uint64_t*)_rbp; |
no test coverage detected