Searched refs:indirect_dev_page_size (Results 1 – 1 of 1) sorted by relevance
50 size_t indirect_dev_page_size; member248 data->indirect_dev_page_size = page_size; in its_alloc_tables()522 data->indirect_dev_page_size / 1024); in gicv3_its_init_device_id()524 alloc_addr = k_aligned_alloc(data->indirect_dev_page_size, in gicv3_its_init_device_id()525 data->indirect_dev_page_size); in gicv3_its_init_device_id()530 memset(alloc_addr, 0, data->indirect_dev_page_size); in gicv3_its_init_device_id()
