Searched refs:kernel_hypercallpage (Results 1 – 1 of 1) sorted by relevance
104 guest_word_t kernel_stext, kernel_etext, kernel_sinittext, kernel_einittext, kernel_hypercallpage; variable131 if ( kernel_hypercallpage && in kernel_addr()132 (addr >= kernel_hypercallpage && in kernel_addr()133 addr <= kernel_hypercallpage + 4096) ) in kernel_addr()297 kernel_hypercallpage = address; in read_symbol_table()
Completed in 4 milliseconds