Searched refs:headerPpnum (Results 1 – 2 of 2) sorted by relevance
98 void pal_hib_resume_tramp(uint32_t headerPpnum);
306 pal_hib_resume_tramp(uint32_t headerPpnum) in pal_hib_resume_tramp() argument308 uint64_t header_phys = ptoa_64(headerPpnum); in pal_hib_resume_tramp()