rdt_pseudo_lock_init
static inline int rdt_pseudo_lock_init(void) { return 0; }
int rdt_pseudo_lock_init(void)