Searched refs:driver_pages (Results 1 – 1 of 1) sorted by relevance
69 unsigned long driver_pages; member86 SYSCTL_ULONG(_dev_xen_balloon, OID_AUTO, driver_pages, CTLFLAG_RD,87 &bs.driver_pages, 0, "Driver pages");186 bs.driver_pages); in increase_reservation()380 bs.driver_pages = 0UL; in xenballoon_attach()