Home
last modified time | relevance | path

Searched refs:vpt_page (Results 1 – 1 of 1) sorted by relevance

/drivers/irqchip/
Dirq-gic-v3-its.c801 vpt_addr = virt_to_phys(page_address(desc->its_vmapp_cmd.vpe->vpt_page)); in its_build_vmapp_cmd()
3897 val = virt_to_phys(page_address(vpe->vpt_page)) & in its_vpe_schedule()
4442 struct page *vpt_page; in its_vpe_init() local
4451 vpt_page = its_allocate_pending_table(GFP_KERNEL); in its_vpe_init()
4452 if (!vpt_page) { in its_vpe_init()
4459 its_free_pending_table(vpt_page); in its_vpe_init()
4465 vpe->vpt_page = vpt_page; in its_vpe_init()
4478 its_free_pending_table(vpe->vpt_page); in its_vpe_teardown()
4623 gic_flush_dcache_to_poc(page_address(vpe->vpt_page), in its_vpe_irq_domain_deactivate()