debug: add page and frame formatters

1 files changed, 0 insertions, 20 deletions

diff --git a/kapi/gdb/device.py b/kapi/gdb/device.py
deleted file mode 100644
index 8e515ef..0000000
--- a/kapi/gdb/device.py
+++ /dev/null
@@ -1,20 +0,0 @@
-import gdb
-
-
-class KapiDevicesDevicePrinter(gdb.ValuePrinter):
-    def __init__(self, val):
-        self.__val = val
-
-    def to_string(self):
-        return (
-            f"{self.__val['m_name']} @ {self.__val['m_major']}:{self.__val['m_minor']}"
-        )
-
-    def children(self):
-        yield ("major", self.__val["m_major"])
-        yield ("minor", self.__val["m_minor"])
-        yield ("name", self.__val["m_name"])
-        yield ("parent", self.__val["m_parent"])
-
-    def display_hint(self):
-        return None