Searched refs:fwcfg_get_u64 (Results 1 – 6 of 6) sorted by relevance
18 nr_pages = fwcfg_get_u64(FW_CFG_RAM_SIZE) / PAGE_SIZE; in main()
303 u64 size = fwcfg_get_u64(FW_CFG_RAM_SIZE); in setup_npt()
1095 end_of_memory = fwcfg_get_u64(FW_CFG_RAM_SIZE); in setup_ept()3619 addr > fwcfg_get_u64(FW_CFG_RAM_SIZE) - align && in test_vmcs_addr()
51 uint64_t fwcfg_get_u64(unsigned index);
75 uint64_t fwcfg_get_u64(unsigned index) in fwcfg_get_u64() function
78 u64 max_end = fwcfg_get_u64(FW_CFG_MAX_RAM); in find_highmem()