Lines Matching refs:uint64_t
80 static inline uint64_t rdtsc64(void)
82 uint64_t lo, hi;
89 static inline uint64_t rdtsc64(void)
163 static void uart_puthex(uint64_t num)
184 static void debug_code(uint32_t code, uint64_t value)
398 uint64_t dst = ptoa_64(ppnum);
409 dst = hibernate_restore_phys_page((uint64_t) (uintptr_t) src, dst, PAGE_SIZE, procFlags);
421 uint64_t headerPhys;
422 uint64_t mapPhys;
423 uint64_t srcPhys;
424 uint64_t imageReadPhys;
425 uint64_t pageIndexPhys;
449 uint64_t timeStart;