;;
;; High level facts that can be derived by looking at kdebug codes
;;

(deftemplate process "A process"
    (slot pid (type INTEGER) (default ?NONE))
    (slot instance (type EXTERNAL-ADDRESS) (default ?NONE))
)

(deftemplate thread-instance "An XRThreadTypeID object in the core"
    (slot instance (type EXTERNAL-ADDRESS SYMBOL) (default ?NONE))
    (slot process (type EXTERNAL-ADDRESS SYMBOL) (default sentinel))
    (slot pid (type INTEGER))
    (slot tid (type INTEGER))
)

(deftemplate fixed-cp-backtrace
    (slot cp-backtrace (type EXTERNAL-ADDRESS SYMBOL) (allowed-symbols sentinel))
    (slot backtrace (type EXTERNAL-ADDRESS SYMBOL) (allowed-symbols sentinel))
)

(deftemplate kdebug-uuid-string "A unique ID to string mapping"
    (slot identifier (type INTEGER))
    (slot value (type STRING))
)