367 static int is_out_of_sec_range(uint64_t reg_addr)  argument
375 		switch (reg_addr) {
389 	switch (reg_addr) {
440 	switch (reg_addr) {
494 uint32_t intel_secure_reg_read(uint64_t reg_addr, uint32_t *retval)  argument
496 	if (is_out_of_sec_range(reg_addr)) {
500 	*retval = mmio_read_32(reg_addr);
505 uint32_t intel_secure_reg_write(uint64_t reg_addr, uint32_t val,  argument
508 	if (is_out_of_sec_range(reg_addr)) {
512 	switch (reg_addr) {
515 		mmio_write_16(reg_addr, val);
518 		mmio_write_32(reg_addr, val);
522 	return intel_secure_reg_read(reg_addr, retval);
525 uint32_t intel_secure_reg_update(uint64_t reg_addr, uint32_t mask,  argument
528 	if (!intel_secure_reg_read(reg_addr, retval)) {
531 		return intel_secure_reg_write(reg_addr, *retval, retval);