get_pkey_bits
#define get_pkey_bits get_pkey_bits
#ifndef get_pkey_bits
return (u32) get_pkey_bits(pkey_reg, pkey);