Searched refs:vmgen_gpa (Results 1 – 1 of 1) sorted by relevance
52 static uint64_t vmgen_gpa; variable61 &vmgen_gpa); in vmgenc_init()100 dsdt_line(" 0x%08x,", (uint32_t)vmgen_gpa); in vmgenc_write_dsdt()101 dsdt_line(" 0x%08x", (uint32_t)(vmgen_gpa >> 32)); in vmgenc_write_dsdt()