401     def __init__(self, timestamp, kevent, k64):  argument
404         self.k64 = k64
426     def __init__(self, cpuid, k64, verbose):  argument
429         self.k64 = k64
431         self.timestamp_mask = ((1 << 48) - 1) if not self.k64 else ~0
494         return KDEvent(timestamp, keventp, self.k64)
517     k64 = kern.ptrsize == 8
519     cpus = [KDCPU(cpuid, k64, verbose) for cpuid in range(ctrl.kdebug_cpus)]
530 def GetKdebugEvent(event, k64):  argument
534     if k64:
559     k64 = kern.ptrsize == 8
561         print(GetKdebugEvent(event, k64))
599     k64 = kern.ptrsize == 8
600     page_size = 4 * 4096 if k64 else 4096
651     k64 = kern.ptrsize == 8
689         event_size = 64 if k64 else 32
694                 0x1 if k64 else 0)