Searched refs:prefetchable_memory_base (Results 1 – 4 of 4) sorted by relevance
223 if (config_.type1.prefetchable_memory_limit < config_.type1.prefetchable_memory_base) { in prefetch_range()226 bool is_64 = (config_.type1.prefetchable_memory_base & 0xf) == 1; in prefetch_range()230 base = (((uint64_t)config_.type1.prefetchable_memory_base >> 4) << 20); in prefetch_range()406 DEBUG_ASSERT((config_.type1.prefetchable_memory_base & 0xf) == 1); in assign_resource()
141 switch ((config.type1.prefetchable_memory_base & 0xf)) { in pci_config()144 (config.type1.prefetchable_memory_base & 0xfff0) << 16, in pci_config()149 ((uint64_t)config.type1.prefetchable_memory_base & 0xfff0) << 16 | in pci_config()
236 config->type1.prefetchable_memory_base = read_half(); if (err < 0) return err; in pci_read_config()
130 uint16_t prefetchable_memory_base; member
Completed in 12 milliseconds