VMW_BALLOON_4K_PAGE  102 drivers/misc/vmw_balloon.c 	[VMW_BALLOON_4K_PAGE]			= "4k",
VMW_BALLOON_4K_PAGE  542 drivers/misc/vmw_balloon.c 	b->max_page_size = VMW_BALLOON_4K_PAGE;
VMW_BALLOON_4K_PAGE 1008 drivers/misc/vmw_balloon.c 	if (page_size == VMW_BALLOON_4K_PAGE) {
VMW_BALLOON_4K_PAGE 1054 drivers/misc/vmw_balloon.c 	if (page_size == VMW_BALLOON_4K_PAGE) {
VMW_BALLOON_4K_PAGE 1157 drivers/misc/vmw_balloon.c 			if (ctl.page_size == VMW_BALLOON_4K_PAGE)
VMW_BALLOON_4K_PAGE 1202 drivers/misc/vmw_balloon.c 		.page_size = VMW_BALLOON_4K_PAGE,
VMW_BALLOON_4K_PAGE 1791 drivers/misc/vmw_balloon.c 	status = vmballoon_lock_op(b, 1, VMW_BALLOON_4K_PAGE,
VMW_BALLOON_4K_PAGE 1818 drivers/misc/vmw_balloon.c 	status = vmballoon_lock_op(b, 1, VMW_BALLOON_4K_PAGE,