rctl_get_available
available = rctl_get_available(p, resource);
uint64_t rctl_get_available(struct proc *p, int resource);