Searched defs:first_addr_past_32bits (Results 1 – 1 of 1) sorted by relevance
267 let first_addr_past_32bits = GuestAddress(FIRST_ADDR_PAST_32BITS); in configure_system() localVariable368 let first_addr_past_32bits = GuestAddress(FIRST_ADDR_PAST_32BITS); in arch_memory_regions() localVariable