Searched refs:GITS_TYPER (Results 1 – 2 of 2) sorted by relevance
152 unsigned int device_ids = GITS_TYPER_DEVBITS_GET(sys_read64(data->base + GITS_TYPER)) + 1; in its_alloc_tables()464 uint64_t typer = sys_read64(data->base + GITS_TYPER); in gicv3_rdist_get_rdbase()507 entry_size = GITS_TYPER_ITT_ENTRY_SIZE_GET(sys_read64(data->base + GITS_TYPER)) + 1; in gicv3_its_init_device_id()
122 #define GITS_TYPER 0x0008 macro