276 |
|
|
277 |
static inline _L4_word_t |
static inline _L4_word_t |
278 |
_L4_attribute_always_inline |
_L4_attribute_always_inline |
279 |
_L4_processor_control (_L4_word_t proc, _L4_word_t control, |
_L4_processor_control (_L4_word_t proc, _L4_word_t int_freq, |
280 |
_L4_word_t int_freq, _L4_word_t ext_freq, |
_L4_word_t ext_freq, _L4_word_t voltage) |
|
_L4_word_t voltage) |
|
281 |
{ |
{ |
282 |
_L4_word_t result; |
_L4_word_t result; |
283 |
_L4_word_t dummy; |
_L4_word_t dummy; |
286 |
"call *__l4_processor_control\n" |
"call *__l4_processor_control\n" |
287 |
"pop %%ebp\n" |
"pop %%ebp\n" |
288 |
: "=a" (result), "=c" (dummy), |
: "=a" (result), "=c" (dummy), |
289 |
"=d" (dummy), "=S" (dummy), "=D" (dummy) |
"=d" (dummy), "=S" (dummy) |
290 |
: "a" (proc), "c" (control), "d" (int_freq), |
: "a" (proc), "c" (int_freq), "d" (ext_freq), |
291 |
"S" (ext_freq), "D" (voltage) |
"S" (voltage) |
292 |
: "ebx"); |
: "edi", "ebx"); |
293 |
return result; |
return result; |
294 |
} |
} |
295 |
|
|