Symbol: ne_donated_cpu
drivers/virt/nitro_enclaves/ne_misc_dev.c
586
if (!ne_donated_cpu(ne_enclave, cpu)) {
drivers/virt/nitro_enclaves/ne_misc_dev.c
657
if (ne_donated_cpu(ne_enclave, vcpu_id)) {