Lines Matching refs:uint
31 static uint g_reg_frame_count;
33 void arm_gicv2m_init(const paddr_t* reg_frames, const vaddr_t* reg_frames_virt, const uint reg_fram… in arm_gicv2m_init()
50 for (uint i = 0; i < g_reg_frame_count; ++i) { in arm_gicv2m_init()
52 uint base_spi = (type_reg >> 16) & 0x3FF; in arm_gicv2m_init()
53 uint num_spi = type_reg & 0x3FF; in arm_gicv2m_init()
57 for (uint i = 0; i < num_spi; ++i) { in arm_gicv2m_init()
58 uint spi_id = base_spi + i; in arm_gicv2m_init()
65 uint reg_ndx = spi_id >> 4; in arm_gicv2m_init()
66 uint bit_shift = ((spi_id & 0xF) << 1) + 1; in arm_gicv2m_init()
74 zx_status_t arm_gicv2m_get_frame_info(const uint frame_ndx, arm_gicv2m_frame_info_t* out_info) { in arm_gicv2m_get_frame_info()
90 uint base_spi = (type_reg >> 16) & 0x3FF; in arm_gicv2m_get_frame_info()
91 uint num_spi = type_reg & 0x3FF; in arm_gicv2m_get_frame_info()
92 uint last_spi = base_spi + num_spi - 1; in arm_gicv2m_get_frame_info()