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