ofw_lock
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();
const register_t s = ofw_lock();