src/main.c

/*
 * Copyright 2018 The Hafnium Authors.
 *
 * Use of this source code is governed by a BSD-style
 * license that can be found in the LICENSE file or at
 * https://opensource.org/licenses/BSD-3-Clause.
 */

#include "hf/cpu.h"
#include "hf/vm.h"

/**
 * The entry point of CPUs when they are turned on. It is supposed to initialise
 * all state and return the first vCPU to run.
 */
struct vcpu *cpu_main(struct cpu *c)
{
	struct vm *first_boot;
	struct vcpu *vcpu;

	/*
	 * This returns the PVM in the normal world and the first
	 * booted Secure Partition in the secure world.
	 */
	first_boot = vm_get_first_boot();

	vcpu = vm_get_vcpu(first_boot, cpu_index(c));

	vcpu->cpu = c;

	/* Reset the registers to give a clean start for vCPU. */
	vcpu_reset(vcpu);

	return vcpu;
}