pub fn mpk_set_pkru(val: u32) {

    if processor::supports_ospke() == true {
        wrpkru(val);
    }
}
/* Set the pkru value to 'val' */
Set the pkru value to 'val'
Set the pkru value to ' val '
pub fn mpk_set_pkru(val: u32) {
    if processor::supports_ospke() == true {
        wrpkru(val);
    }
}
pub fn mpk_set_pkru ( val : u32 ) { if processor :: supports_ospke ( ) == true { wrpkru ( val ) ; } }
Set the pkru value to 'val'
Set the pkru value to ' val '
val
u32
val
u32