diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2014-04-30 12:34:33 -0400 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2015-09-07 16:47:32 -0400 |
| commit | 2971daf071d2c0a35986f16bfed7e661e7e88f92 (patch) | |
| tree | bf8c419cfbb3cc116f17ef6e24af2bcbe66f8f79 /drivers/media/pci/pluto2/pluto2.c | |
| parent | 8e51b378224ae53244c6917964c88aa2a9d024ad (diff) | |
LITMUS^RT Core: add get_current_budget() system call
Allow userspace to figure out the used-up and remaining budget
of a task.
Diffstat (limited to 'drivers/media/pci/pluto2/pluto2.c')
0 files changed, 0 insertions, 0 deletions