pkvm_hyp_vm_table_init
void pkvm_hyp_vm_table_init(void *tbl);
pkvm_hyp_vm_table_init(vm_table_base);