Searched refs:L4_BASE_ARM_SMCCC_CAP (Results 1 – 2 of 2) sorted by relevance
295 L4_BASE_ARM_SMCCC_CAP = 11UL << L4_CAP_SHIFT, enumerator
568 if (L4::Cap<void>(L4_BASE_ARM_SMCCC_CAP).validate().label()) in main()569 root_name_space()->register_obj("arm_smc", Entry::F_rw, L4_BASE_ARM_SMCCC_CAP); in main()
Completed in 4 milliseconds