Searched refs:tcpu (Results 1 – 1 of 1) sorted by relevance

/xen-4.10.0-shim-comet/xen/arch/arm/
A D	vsmc.c	211 uint32_t tcpu = PSCI_ARG32(regs, 1); in handle_sssc() local 214 PSCI_SET_RESULT(regs, do_psci_0_2_migrate(tcpu)); in handle_sssc()

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023