Searched refs:synic_alloc_page (Results 1 – 1 of 1) sorted by relevance
45 static void *synic_alloc_page(void) in synic_alloc_page() function75 svcpu->msg_page = synic_alloc_page(); in synic_enable()