Searched refs:guest_index_bits (Results 1 – 2 of 2) sorted by relevance
37 uint32_t guest_index_bits; member
242 imsic->guest_index_bits = IMSIC_GUEST_INDEX_BITS; in imsic_init_base_addr()287 imsic->guest_index_bits = fdt32_to_cpu(*val); in imisc_parse_fdt_node()289 imsic->guest_index_bits = 0; in imisc_parse_fdt_node()