Searched defs:kaddr2 (Results 1 – 2 of 2) sorted by relevance
154 void *kaddr2; member
2680 void *kaddr1, *kaddr2; in swap_two_pages_data() local