__fprop_add_percpu_max
void __fprop_add_percpu_max(struct fprop_global *p,
__fprop_add_percpu_max(&dom->completions, completions,