pkvm_ownership_selftest
void pkvm_ownership_selftest(void *base);
pkvm_ownership_selftest(selftest_base);