Searched refs:xen_primary_console_get_pfn (Results 1 – 4 of 4) sorted by relevance
20 uint64_t xen_primary_console_get_pfn(void);
123 uint64_t xen_primary_console_get_pfn(void) in xen_primary_console_get_pfn() function
544 if (xen_primary_console_get_pfn()) { in xen_gnttab_reset()
813 hp.value = xen_primary_console_get_pfn(); in handle_get_param()