its_free_prop_table 3074 drivers/irqchip/irq-gic-v3-its.c 		its_free_prop_table(vm->vprop_page);
its_free_prop_table 3127 drivers/irqchip/irq-gic-v3-its.c 		its_free_prop_table(vprop_page);