29 |
/* Generic Programming Interface. */ |
/* Generic Programming Interface. */ |
30 |
static inline L4_Word_t |
static inline L4_Word_t |
31 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
32 |
L4_ProcessorControl (L4_Word_t ProcessorNo, L4_Word_t control, |
L4_ProcessorControl (L4_Word_t ProcessorNo, L4_Word_t InternalFrequency, |
|
L4_Word_t InternalFrequency, |
|
33 |
L4_Word_t ExternalFrequency, L4_Word_t voltage) |
L4_Word_t ExternalFrequency, L4_Word_t voltage) |
34 |
{ |
{ |
35 |
return _L4_processor_control (ProcessorNo, control, InternalFrequency, |
return _L4_processor_control (ProcessorNo, InternalFrequency, |
36 |
ExternalFrequency, voltage); |
ExternalFrequency, voltage); |
37 |
} |
} |
38 |
|
|