Searched defs:kernel_addr (Results 1 – 2 of 2) sorted by relevance
39 paddr_t kernel_addr; member
118 static type_of_addr kernel_addr(guest_word_t addr) in kernel_addr() function
Completed in 4 milliseconds