Searched defs:target_cpu (Results 1 - 5 of 5) sorted by relevance

/seL4-test-master/tools/seL4/elfloader-tool/src/arch-arm/
H A Dpsci.c50 int psci_cpu_on(unsigned long target_cpu, unsigned long entry_point, argument
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/include/sel4vm/
H A Dguest_vm_util.h49 static inline vm_vcpu_t *vm_vcpu_for_target_cpu(vm_t *vm, int target_cpu) argument
H A Dguest_vm.h136 int target_cpu; member in struct:vm_vcpu
/seL4-test-master/projects/sel4_projects_libs/libsel4vmmplatsupport/src/arch/arm/
H A Dpsci.c19 static int start_new_vcpu(vm_vcpu_t *vcpu, uintptr_t entry_address, uintptr_t context_id, int target_cpu) argument
53 uintptr_t target_cpu = smc_get_arg(&regs, 1); local
/seL4-test-master/projects/sel4_projects_libs/libsel4vm/src/
H A Dboot.c84 int vm_assign_vcpu_target(vm_vcpu_t *vcpu, int target_cpu) argument

Completed in 40 milliseconds