Searched refs:VMAPPLE_VCPU_WFK (Results 1 – 2 of 2) sorted by relevance
67 #define VMAPPLE_VCPU_WFK (HVC_OEM_SERVICE | 0x5) macro
203 [HVG_HCALL_VCPU_WFK] = VMAPPLE_VCPU_WFK, in hvg_is_hcall_available()286 uint64_t x0 = VMAPPLE_VCPU_WFK; in hvg_hc_wait_for_kick()