58 public Kobject_t<Scheduler, Icu, L4_PROTO_SCHEDULER,
59 Type_info::Demand_t<1> >
166 {
return l4_scheduler_is_online_u(cap(), cpu, utcb); }
L4::Cap related definitions.
Capability type for RPC interfaces (see L4::Cap<T>).
Helper class to create an L4Re interface class that is derived from a single base class.
C++ interface of the Scheduler kernel object, see Scheduler for the C interface.
bool is_online(l4_umword_t cpu, l4_utcb_t *utcb=l4_utcb()) const noexcept
Query if a CPU is online.
l4_msgtag_t info(l4_umword_t *cpu_max, l4_sched_cpu_set_t *cpus, l4_umword_t *sched_classes=nullptr, l4_utcb_t *utcb=l4_utcb()) const noexcept
Get scheduler information.
unsigned long l4_umword_t
Unsigned machine word.
l4_uint64_t l4_kernel_clock_t
Kernel clock type.
@ L4_SCHEDULER_RUN_THREAD_OP
Run a thread on this scheduler.
@ L4_SCHEDULER_IDLE_TIME_OP
Query idle time for the scheduler.
@ L4_SCHEDULER_INFO_OP
Query infos about the scheduler.
struct l4_utcb_t l4_utcb_t
Opaque type for the UTCB.
l4_utcb_t * l4_utcb(void) L4_NOTHROW L4_PURE
Get the UTCB address.
#define L4_EXPORT
Attribute to mark functions, variables, and data types as being exported from a library.
Interface Definition Language.
#define L4_INLINE_RPC_NF_OP(op, res, name, args...)
Define an inline RPC call type with specific opcode (the type only, no callable).
#define L4_INLINE_RPC_OP(op, res, name, args, attr...)
Define an inline RPC call with specific opcode (type and callable).
L4 low-level kernel interface.
List of RPCs typically used for kernel interfaces.
Message tag data structure.
l4_umword_t gran_offset
Combination of granularity and offset.
l4_umword_t map
Bitmap of CPUs.
Scheduler object functions.