Set Baud Rate Field in Control Register

Code

#include <stdio.h>
#include <stdint.h>

uint32_t set_baud_rate(uint32_t reg, uint8_t baud) {
    uint32_t mask = 0;
    uint8_t pos = 8;
    uint8_t len = 4;
    // mask = (baud << pos) & (((1 << len) -1) << pos);
    mask = 0xF << pos;
    reg &= ~(mask);
    return reg | (baud << pos);
}

int main() {
    uint32_t reg;
    uint8_t baud;
    scanf("%u %hhu", &reg, &baud);
    printf("%u", set_baud_rate(reg, baud));
    return 0;
}

Solving Approach