Searched defs:kaddr2 (Results 1 – 4 of 4) sorted by relevance
154 void *kaddr2; member
212 void *kaddr2; member
2670 void *kaddr1, *kaddr2; in swap_two_pages_data() local
2883 void *kaddr1, *kaddr2; in swap_two_pages_data() local