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