Searched refs:runtime_paddr (Results 1 – 2 of 2) sorted by relevance
39 pub runtime_paddr: Option<PhysAddr>, field57 runtime_paddr: None, in new()
179 inner_write_guard.runtime_paddr = Some(runtime_service_paddr); in uefi_init()