xen_sanitize_proc_cap_bits
xen_sanitize_proc_cap_bits(cap);
void xen_sanitize_proc_cap_bits(uint32_t *buf);