25 |
|
|
26 |
static inline l4_word_t |
static inline l4_word_t |
27 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
28 |
l4_processor_control (l4_word_t proc, l4_word_t control, |
l4_processor_control (l4_word_t proc, l4_word_t internal_freq, |
29 |
l4_word_t internal_freq, l4_word_t external_freq, |
l4_word_t external_freq, l4_word_t voltage) |
|
l4_word_t voltage) |
|
30 |
{ |
{ |
31 |
return _L4_processor_control (proc, control, internal_freq, external_freq, |
return _L4_processor_control (proc, internal_freq, external_freq, |
32 |
voltage); |
voltage); |
33 |
} |
} |
34 |
|
|