Home
last modified time | relevance | path

Searched refs:max_vcbm (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/guest/
A Dvcat.c437 uint64_t max_vcbm = vcat_get_max_vcbm(vcpu->vm, res); in init_vcbms() local
439 if (max_vcbm != 0UL) { in init_vcbms()
456 (void)write_vcbm(vcpu, vmsr, max_vcbm); in init_vcbms()

Completed in 3 milliseconds