Symbol: enable_page_reporting
drivers/hv/hv_balloon.c
1990
enable_page_reporting();
drivers/hv/hv_balloon.c
577
static void enable_page_reporting(void);