Symbol: lookup_guest_ncpus