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);