psci_fn            60 drivers/firmware/psci/psci.c typedef unsigned long (psci_fn)(unsigned long, unsigned long,
psci_fn            62 drivers/firmware/psci/psci.c static psci_fn *invoke_psci_fn;
psci_fn           224 virt/kvm/arm/psci.c 	u32 psci_fn = smccc_get_function(vcpu);
psci_fn           228 virt/kvm/arm/psci.c 	switch (psci_fn) {
psci_fn           297 virt/kvm/arm/psci.c 	u32 psci_fn = smccc_get_function(vcpu);
psci_fn           302 virt/kvm/arm/psci.c 	switch(psci_fn) {
psci_fn           340 virt/kvm/arm/psci.c 	u32 psci_fn = smccc_get_function(vcpu);
psci_fn           343 virt/kvm/arm/psci.c 	switch (psci_fn) {