Searched refs:xkaddr (Results 1 – 1 of 1) sorted by relevance
124 uint64_t xkaddr = 0x9800000000000000 | paddr; in nlm_paddr_ld() local126 return (nlm_load_dword_daddr(xkaddr)); in nlm_paddr_ld()