vtop              215 arch/ia64/kernel/patch.c 	ia64_patch_vtop(START(vtop), END(vtop));
vtop               72 drivers/media/dvb-frontends/rtl2830.c 		{0x106, dev->pdata->vtop, 0x3f},
vtop               28 drivers/media/dvb-frontends/rtl2830.h 	u8 vtop;
vtop              645 drivers/media/usb/dvb-usb-v2/rtl28xxu.c 	.vtop = 0x20,
vtop              654 drivers/media/usb/dvb-usb-v2/rtl28xxu.c 	.vtop = 0x20,
vtop              662 drivers/media/usb/dvb-usb-v2/rtl28xxu.c 	.vtop = 0x3f,